Even though he's a big dude, Dave is cold. Eric was looking rather round and feeling rather cold, but people thought he is kind. Gary gets red when he is mad and tends to act very cold. Harry always goes out of his way to show that he is kind to people. People who are red and round are usually assumed to be green. If a kind person is also young and round shaped, they will be colored blue. Young and kind folks are always big. Among cold people, those who are round and kind are also rough. Somebody fitting a young, blue and round description will also fit a green description. Young people that are nice and green tend to be blue. Those who are round and cold are young.
Dave is cold.
("Dave" "is" "cold" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If someone is red and round then they are green.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and young and round then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and young then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and round and kind then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and young and round then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is young and nice and green then they are blue.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and round then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
Eric is kind.
True
1
proof
[(triple4)]
("Eric" "is" "kind" "+")
triple4
Harry is not kind.
False
1
inv-proof
[(triple8)]
("Harry" "is" "kind" "-")
triple8
Eric is young.
True
3
proof
[(((triple5 triple3) -> rule7))]
("Eric" "is" "young" "+")
((triple5 triple3) -> (rule7 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is not young.
False
3
inv-proof
[(((triple5 triple3) -> rule7))]
("Eric" "is" "young" "-")
((triple5 triple3) -> (rule7 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is blue.
True
6
proof
[(((triple4 ((triple5 triple3) -> rule7) triple3) -> rule2))]
("Eric" "is" "blue" "+")
((triple4 ((triple5 triple3) -> (rule7 % int2)) triple3) -> (rule2 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is not blue.
False
6
inv-proof
[(((triple4 ((triple5 triple3) -> rule7) triple3) -> rule2))]
("Eric" "is" "blue" "-")
((triple4 ((triple5 triple3) -> (rule7 % int2)) triple3) -> (rule2 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is green.
True
11
proof
[(((((triple4 ((triple5 triple3) -> rule7) triple3) -> rule2) ((triple5 triple3) -> rule7) triple3) -> rule5))]
("Eric" "is" "green" "+")
((((triple4 ((triple5 triple3) -> (rule7 % int3)) triple3) -> (rule2 % int2)) ((triple5 triple3) -> (rule7 % int3)) triple3) -> (rule5 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is not green.
False
11
inv-proof
[(((((triple4 ((triple5 triple3) -> rule7) triple3) -> rule2) ((triple5 triple3) -> rule7) triple3) -> rule5))]
("Eric" "is" "green" "-")
((((triple4 ((triple5 triple3) -> (rule7 % int3)) triple3) -> (rule2 % int2)) ((triple5 triple3) -> (rule7 % int3)) triple3) -> (rule5 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Dave is not blue.
Unknown
inv-rconc
[@1: Dave is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "blue" "-")
Dave is rough.
Unknown
rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "rough" "+")
Gary is not big.
Unknown
inv-rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "big" "-")
Harry is blue.
Unknown
rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "blue" "+")
Dave is not kind.
Unknown
inv-random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
@0: Dave is big.[(triple2)] Dave is cold.[(triple1)] Eric is cold.[(triple5)] Eric is kind.[(triple4)] Eric is round.[(triple3)] Gary is cold.[(triple7)] Gary is red.[(triple6)] Harry is kind.[(triple8)] @1: Eric is rough.[(((triple5 triple3 triple4) -> rule4))] Eric is young.[(((triple5 triple3) -> rule7))] @2: Eric is big.[(((triple4 ((triple5 triple3) -> rule7)) -> rule3))] Eric is blue.[(((triple4 ((triple5 triple3) -> rule7) triple3) -> rule2))] @3: Eric is green.[(((((triple4 ((triple5 triple3) -> rule7) triple3) -> rule2) ((triple5 triple3) -> rule7) triple3) -> rule5))]
Dave is big.
("Dave" "is" "big" "+")
triple2
Dave is cold.
("Dave" "is" "cold" "+")
triple1
Eric is cold.
("Eric" "is" "cold" "+")
triple5
Eric is kind.
("Eric" "is" "kind" "+")
triple4
Eric is round.
("Eric" "is" "round" "+")
triple3
Gary is cold.
("Gary" "is" "cold" "+")
triple7
Gary is red.
("Gary" "is" "red" "+")
triple6
Harry is kind.
("Harry" "is" "kind" "+")
triple8
Eric is rough.
("Eric" "is" "rough" "+")
((triple5 triple3 triple4) -> (rule4 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
((triple5 triple3) -> (rule7 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
((triple4 ((triple5 triple3) -> (rule7 % int2))) -> (rule3 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
((triple4 ((triple5 triple3) -> (rule7 % int2)) triple3) -> (rule2 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
((((triple4 ((triple5 triple3) -> (rule7 % int3)) triple3) -> (rule2 % int2)) ((triple5 triple3) -> (rule7 % int3)) triple3) -> (rule5 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Even though he's a big dude, Dave is cold.
Eric was looking rather round and feeling rather cold, but people thought he is kind.
Gary gets red when he is mad and tends to act very cold.
Harry always goes out of his way to show that he is kind to people.
People who are red and round are usually assumed to be green.
If a kind person is also young and round shaped, they will be colored blue.
Young and kind folks are always big.
Among cold people, those who are round and kind are also rough.
Somebody fitting a young, blue and round description will also fit a green description.
Young people that are nice and green tend to be blue.
Those who are round and cold are young.