Even though Dave feels blue because of how round he is, he is still nice and kind to people that talk to him. Eric is very nice to people, but he's also rather big. Gary was born only a few years ago so he is young. They always call him rough Harry. A round person who is nice is young. Kind young people are red. If you meet a young, round person who is nice on the street, offer them your coat because they are cold. If you're cold and red then you're nice. A person who exhibits nice, kind and cold characteristics will also be a rough person. A nice big person who is also round is going to be cold. People who are nice, big, and also rough, are considered red.
Dave is round.
("Dave" "is" "round" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is big.
("Eric" "is" "big" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is rough.
("Harry" "is" "rough" "+")
If someone is nice and round then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is kind and young then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is round and nice and young then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and red then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and nice and cold then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and big and nice then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and big and rough then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
Eric is nice.
True
1
proof
[(triple5)]
("Eric" "is" "nice" "+")
triple5
Dave is not round.
False
1
inv-proof
[(triple1)]
("Dave" "is" "round" "-")
triple1
Dave is young.
True
3
proof
[(((triple2 triple1) -> rule1))]
("Dave" "is" "young" "+")
((triple2 triple1) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is not young.
False
3
inv-proof
[(((triple2 triple1) -> rule1))]
("Dave" "is" "young" "-")
((triple2 triple1) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is red.
True
5
proof
[(((triple3 ((triple2 triple1) -> rule1)) -> rule2))]
("Dave" "is" "red" "+")
((triple3 ((triple2 triple1) -> (rule1 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is not cold.
False
6
inv-proof
[(((triple1 triple2 ((triple2 triple1) -> rule1)) -> rule3))]
("Dave" "is" "cold" "-")
((triple1 triple2 ((triple2 triple1) -> (rule1 % int2))) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is rough.
True
9
proof
[(((triple3 triple2 ((triple1 triple2 ((triple2 triple1) -> rule1)) -> rule3)) -> rule5))]
("Dave" "is" "rough" "+")
((triple3 triple2 ((triple1 triple2 ((triple2 triple1) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is not rough.
False
9
inv-proof
[(((triple3 triple2 ((triple1 triple2 ((triple2 triple1) -> rule1)) -> rule3)) -> rule5))]
("Dave" "is" "rough" "-")
((triple3 triple2 ((triple1 triple2 ((triple2 triple1) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Gary is not red.
Unknown
inv-rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "red" "-")
Harry is cold.
Unknown
rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "cold" "+")
Gary is not cold.
Unknown
inv-rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "cold" "-")
Gary is rough.
Unknown
rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "rough" "+")
Dave is not green.
Unknown
inv-random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
@0: Dave is blue.[(triple4)] Dave is kind.[(triple3)] Dave is nice.[(triple2)] Dave is round.[(triple1)] Eric is big.[(triple6)] Eric is nice.[(triple5)] Gary is young.[(triple7)] Harry is rough.[(triple8)] @1: Dave is young.[(((triple2 triple1) -> rule1))] @2: Dave is cold.[(((triple1 triple2 ((triple2 triple1) -> rule1)) -> rule3))] Dave is red.[(((triple3 ((triple2 triple1) -> rule1)) -> rule2))] @3: Dave is rough.[(((triple3 triple2 ((triple1 triple2 ((triple2 triple1) -> rule1)) -> rule3)) -> rule5))]
Dave is blue.
("Dave" "is" "blue" "+")
triple4
Dave is kind.
("Dave" "is" "kind" "+")
triple3
Dave is nice.
("Dave" "is" "nice" "+")
triple2
Dave is round.
("Dave" "is" "round" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple6
Eric is nice.
("Eric" "is" "nice" "+")
triple5
Gary is young.
("Gary" "is" "young" "+")
triple7
Harry is rough.
("Harry" "is" "rough" "+")
triple8
Dave is young.
("Dave" "is" "young" "+")
((triple2 triple1) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
((triple1 triple2 ((triple2 triple1) -> (rule1 % int2))) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
((triple3 ((triple2 triple1) -> (rule1 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
((triple3 triple2 ((triple1 triple2 ((triple2 triple1) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Even though Dave feels blue because of how round he is, he is still nice and kind to people that talk to him.
Eric is very nice to people, but he's also rather big.
Gary was born only a few years ago so he is young.
They always call him rough Harry.
A round person who is nice is young.
Kind young people are red.
If you meet a young, round person who is nice on the street, offer them your coat because they are cold.
If you're cold and red then you're nice.
A person who exhibits nice, kind and cold characteristics will also be a rough person.
A nice big person who is also round is going to be cold.
People who are nice, big, and also rough, are considered red.