Dave is cold and rough with strangers, but nice with his family, even when he is green with envy at their accomplishments. Fred is round shaped and green colored. Gary is nice and young with red hair and a blue shirt. You will notice that a rough, nice, red individual will be young. Someone who is blue and cold is also big. A big, green person who is cold is assumed to be red also. A cold temperatured and rough person who is also green will be big shaped.
Dave is rough.
("Dave" "is" "rough" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is green.
("Fred" "is" "green" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is rough and red and nice then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and cold then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is green and big and cold then they are red.
((("someone" "is" "green" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and rough and green then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
Dave is rough.
True
1
proof
[(triple1)]
("Dave" "is" "rough" "+")
triple1
Dave is not rough.
False
1
inv-proof
[(triple1)]
("Dave" "is" "rough" "-")
triple1
Dave is big.
True
4
proof
[(((triple4 triple1 triple3) -> rule4))]
("Dave" "is" "big" "+")
((triple4 triple1 triple3) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is not big.
False
4
inv-proof
[(((triple4 triple1 triple3) -> rule4))]
("Dave" "is" "big" "-")
((triple4 triple1 triple3) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is red.
True
7
proof
[(((triple3 ((triple4 triple1 triple3) -> rule4) triple4) -> rule3))]
("Dave" "is" "red" "+")
((triple3 ((triple4 triple1 triple3) -> (rule4 % int2)) triple4) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is not red.
False
7
inv-proof
[(((triple3 ((triple4 triple1 triple3) -> rule4) triple4) -> rule3))]
("Dave" "is" "red" "-")
((triple3 ((triple4 triple1 triple3) -> (rule4 % int2)) triple4) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is young.
True
10
proof
[(((triple1 ((triple3 ((triple4 triple1 triple3) -> rule4) triple4) -> rule3) triple2) -> rule1))]
("Dave" "is" "young" "+")
((triple1 ((triple3 ((triple4 triple1 triple3) -> (rule4 % int3)) triple4) -> (rule3 % int2)) triple2) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is not young.
False
10
inv-proof
[(((triple1 ((triple3 ((triple4 triple1 triple3) -> rule4) triple4) -> rule3) triple2) -> rule1))]
("Dave" "is" "young" "-")
((triple1 ((triple3 ((triple4 triple1 triple3) -> (rule4 % int3)) triple4) -> (rule3 % int2)) triple2) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Fred is not red.
Unknown
inv-rconc
[@1: Fred is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "red" "-")
Gary is big.
Unknown
rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "big" "+")
Bob is not young.
Unknown
inv-rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "young" "-")
Fred is young.
Unknown
rconc
[@1: Fred is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "young" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
Fred is not cold.
Unknown
inv-random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
@0: Dave is cold.[(triple4)] Dave is green.[(triple3)] Dave is nice.[(triple2)] Dave is rough.[(triple1)] Fred is green.[(triple6)] Fred is round.[(triple5)] Gary is blue.[(triple10)] Gary is nice.[(triple9)] Gary is red.[(triple8)] Gary is young.[(triple7)] @1: Dave is big.[(((triple4 triple1 triple3) -> rule4))] @2: Dave is red.[(((triple3 ((triple4 triple1 triple3) -> rule4) triple4) -> rule3))] @3: Dave is young.[(((triple1 ((triple3 ((triple4 triple1 triple3) -> rule4) triple4) -> rule3) triple2) -> rule1))]
Dave is cold.
("Dave" "is" "cold" "+")
triple4
Dave is green.
("Dave" "is" "green" "+")
triple3
Dave is nice.
("Dave" "is" "nice" "+")
triple2
Dave is rough.
("Dave" "is" "rough" "+")
triple1
Fred is green.
("Fred" "is" "green" "+")
triple6
Fred is round.
("Fred" "is" "round" "+")
triple5
Gary is blue.
("Gary" "is" "blue" "+")
triple10
Gary is nice.
("Gary" "is" "nice" "+")
triple9
Gary is red.
("Gary" "is" "red" "+")
triple8
Gary is young.
("Gary" "is" "young" "+")
triple7
Dave is big.
("Dave" "is" "big" "+")
((triple4 triple1 triple3) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
((triple3 ((triple4 triple1 triple3) -> (rule4 % int2)) triple4) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
((triple1 ((triple3 ((triple4 triple1 triple3) -> (rule4 % int3)) triple4) -> (rule3 % int2)) triple2) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is cold and rough with strangers, but nice with his family, even when he is green with envy at their accomplishments.
Fred is round shaped and green colored.
Gary is nice and young with red hair and a blue shirt.
You will notice that a rough, nice, red individual will be young.
Someone who is blue and cold is also big.
A big, green person who is cold is assumed to be red also.
A cold temperatured and rough person who is also green will be big shaped.