Eric is round in the middle and extraordinarily nice but he's also blue because people don't always treat him well. Fred is very young to be a nurse but he loves helping others because he is so nice and kind. That guy Gary is big, but he's always kind to little ones. Harry is big and rough. If you meet a young, round person who is nice on the street, offer them your coat because they are cold. Round, blue, and green people are poften rough. A person with big hair and rough lips is certainly young and jaded. People who are blue and cold are red. All nice people are young. A person who is very round is nice but also quite rough. People who are nice and cold are also green.
Eric is round.
("Eric" "is" "round" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is big.
("Harry" "is" "big" "+")
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 blue and green and round then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and big then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and cold then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is nice then they are young.
((("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If someone is round and nice then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and cold then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
Fred is nice.
True
1
proof
[(triple5)]
("Fred" "is" "nice" "+")
triple5
Fred is not young.
False
1
inv-proof
[(triple4 OR ((triple5) -> rule5))]
("Fred" "is" "young" "-")
triple4
((triple5) -> (rule5 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Eric is young.
True
2
proof
[(((triple2) -> rule5))]
("Eric" "is" "young" "+")
((triple2) -> (rule5 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is not rough.
False
3
inv-proof
[(((triple1 triple2) -> rule6) OR ((triple3 ((triple2 ((triple1 triple2 ((triple2) -> rule5)) -> rule1)) -> rule7) triple1) -> rule2))]
("Eric" "is" "rough" "-")
((triple1 triple2) -> (rule6 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
((triple3 ((triple2 ((triple1 triple2 ((triple2) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule7 % int2)) triple1) -> (rule2 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is young.
("Eric" "is" "young" "+")
int4
Eric is cold.
True
5
proof
[(((triple1 triple2 ((triple2) -> rule5)) -> rule1))]
("Eric" "is" "cold" "+")
((triple1 triple2 ((triple2) -> (rule5 % int2))) -> (rule1 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is not cold.
False
5
inv-proof
[(((triple1 triple2 ((triple2) -> rule5)) -> rule1))]
("Eric" "is" "cold" "-")
((triple1 triple2 ((triple2) -> (rule5 % int2))) -> (rule1 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is green.
True
7
proof
[(((triple2 ((triple1 triple2 ((triple2) -> rule5)) -> rule1)) -> rule7))]
("Eric" "is" "green" "+")
((triple2 ((triple1 triple2 ((triple2) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is not red.
False
7
inv-proof
[(((triple3 ((triple1 triple2 ((triple2) -> rule5)) -> rule1)) -> rule4))]
("Eric" "is" "red" "-")
((triple3 ((triple1 triple2 ((triple2) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Gary is not rough.
Unknown
inv-rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "rough" "-")
Fred is cold.
Unknown
rconc
[@1: Fred is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "cold" "+")
Gary is not green.
Unknown
inv-rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Gary" "is" "green" "-")
Harry is cold.
Unknown
rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "cold" "+")
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
Harry is not round.
Unknown
inv-random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
@0: Eric is blue.[(triple3)] Eric is nice.[(triple2)] Eric is round.[(triple1)] Fred is kind.[(triple6)] Fred is nice.[(triple5)] Fred is young.[(triple4 OR ((triple5) -> rule5))] Gary is big.[(triple8)] Gary is kind.[(triple7)] Harry is big.[(triple10)] Harry is rough.[(triple9)] @1: Eric is rough.[(((triple1 triple2) -> rule6) OR ((triple3 ((triple2 ((triple1 triple2 ((triple2) -> rule5)) -> rule1)) -> rule7) triple1) -> rule2))] Eric is young.[(((triple2) -> rule5))] Harry is young.[(((triple9 triple10) -> rule3))] @2: Eric is cold.[(((triple1 triple2 ((triple2) -> rule5)) -> rule1))] @3: Eric is green.[(((triple2 ((triple1 triple2 ((triple2) -> rule5)) -> rule1)) -> rule7))] Eric is red.[(((triple3 ((triple1 triple2 ((triple2) -> rule5)) -> rule1)) -> rule4))]
Eric is blue.
("Eric" "is" "blue" "+")
triple3
Eric is nice.
("Eric" "is" "nice" "+")
triple2
Eric is round.
("Eric" "is" "round" "+")
triple1
Fred is kind.
("Fred" "is" "kind" "+")
triple6
Fred is nice.
("Fred" "is" "nice" "+")
triple5
Fred is young.
("Fred" "is" "young" "+")
triple4
((triple5) -> (rule5 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
triple8
Gary is kind.
("Gary" "is" "kind" "+")
triple7
Harry is big.
("Harry" "is" "big" "+")
triple10
Harry is rough.
("Harry" "is" "rough" "+")
triple9
Eric is rough.
("Eric" "is" "rough" "+")
((triple1 triple2) -> (rule6 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
((triple3 ((triple2 ((triple1 triple2 ((triple2) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule7 % int2)) triple1) -> (rule2 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is young.
("Eric" "is" "young" "+")
int4
Eric is young.
("Eric" "is" "young" "+")
((triple2) -> (rule5 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
((triple9 triple10) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
((triple1 triple2 ((triple2) -> (rule5 % int2))) -> (rule1 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
((triple2 ((triple1 triple2 ((triple2) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is red.
("Eric" "is" "red" "+")
((triple3 ((triple1 triple2 ((triple2) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is round in the middle and extraordinarily nice but he's also blue because people don't always treat him well.
Fred is very young to be a nurse but he loves helping others because he is so nice and kind.
That guy Gary is big, but he's always kind to little ones.
Harry is big and rough.
If you meet a young, round person who is nice on the street, offer them your coat because they are cold.
Round, blue, and green people are poften rough.
A person with big hair and rough lips is certainly young and jaded.
People who are blue and cold are red.
All nice people are young.
A person who is very round is nice but also quite rough.
People who are nice and cold are also green.