Others enjoy Alan's company because he is so nice and kind. Bob was born only a few years ago so he is young. It's easy to tell that Charlie is young because he is so round. Even though he is kind it makes him green with envy of some people. Blue and green Harry is so kind he snowplows the neighbors driveways and everyone thanks him with beer. A round person who is cold is big. Anybody with big, rough and nice qualities is bound to also be young. Round green people usually feel blue. A person that is round, green, and blue is usually considered cold.
Alan is nice.
("Alan" "is" "nice" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is cold and round then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is big and rough and nice then they are young.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If someone is round and green then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and green and blue then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
Alan is kind.
True
1
proof
[(triple2)]
("Alan" "is" "kind" "+")
triple2
Charlie is not young.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "young" "-")
triple4
Charlie is blue.
True
3
proof
[(((triple5 triple7) -> rule3))]
("Charlie" "is" "blue" "+")
((triple5 triple7) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is not blue.
False
3
inv-proof
[(((triple5 triple7) -> rule3))]
("Charlie" "is" "blue" "-")
((triple5 triple7) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
True
6
proof
[(((triple5 triple7 ((triple5 triple7) -> rule3)) -> rule4))]
("Charlie" "is" "cold" "+")
((triple5 triple7 ((triple5 triple7) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is not cold.
False
6
inv-proof
[(((triple5 triple7 ((triple5 triple7) -> rule3)) -> rule4))]
("Charlie" "is" "cold" "-")
((triple5 triple7 ((triple5 triple7) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is big.
True
8
proof
[(((((triple5 triple7 ((triple5 triple7) -> rule3)) -> rule4) triple5) -> rule1))]
("Charlie" "is" "big" "+")
((((triple5 triple7 ((triple5 triple7) -> (rule3 % int3))) -> (rule4 % int2)) triple5) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is not big.
False
8
inv-proof
[(((((triple5 triple7 ((triple5 triple7) -> rule3)) -> rule4) triple5) -> rule1))]
("Charlie" "is" "big" "-")
((((triple5 triple7 ((triple5 triple7) -> (rule3 % int3))) -> (rule4 % int2)) triple5) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Harry is not cold.
Unknown
inv-rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "cold" "-")
Alan is young.
Unknown
rconc
[@1: Alan is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "young" "+")
Alan is not cold.
Unknown
inv-rconc
[@1: Alan is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "cold" "-")
Bob is cold.
Unknown
rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "cold" "+")
Bob is not green.
Unknown
inv-random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
@0: Alan is kind.[(triple2)] Alan is nice.[(triple1)] Bob is young.[(triple3)] Charlie is green.[(triple7)] Charlie is kind.[(triple6)] Charlie is round.[(triple5)] Charlie is young.[(triple4)] Harry is blue.[(triple10)] Harry is green.[(triple9)] Harry is kind.[(triple8)] @1: Charlie is blue.[(((triple5 triple7) -> rule3))] @2: Charlie is cold.[(((triple5 triple7 ((triple5 triple7) -> rule3)) -> rule4))] @3: Charlie is big.[(((((triple5 triple7 ((triple5 triple7) -> rule3)) -> rule4) triple5) -> rule1))]
Alan is kind.
("Alan" "is" "kind" "+")
triple2
Alan is nice.
("Alan" "is" "nice" "+")
triple1
Bob is young.
("Bob" "is" "young" "+")
triple3
Charlie is green.
("Charlie" "is" "green" "+")
triple7
Charlie is kind.
("Charlie" "is" "kind" "+")
triple6
Charlie is round.
("Charlie" "is" "round" "+")
triple5
Charlie is young.
("Charlie" "is" "young" "+")
triple4
Harry is blue.
("Harry" "is" "blue" "+")
triple10
Harry is green.
("Harry" "is" "green" "+")
triple9
Harry is kind.
("Harry" "is" "kind" "+")
triple8
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple5 triple7) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple5 triple7 ((triple5 triple7) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
((((triple5 triple7 ((triple5 triple7) -> (rule3 % int3))) -> (rule4 % int2)) triple5) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Others enjoy Alan's company because he is so nice and kind.
Bob was born only a few years ago so he is young.
It's easy to tell that Charlie is young because he is so round; Even though he is kind it makes him green with envy of some people.
Blue and green Harry is so kind he snowplows the neighbors driveways and everyone thanks him with beer.
A round person who is cold is big.
Anybody with big, rough and nice qualities is bound to also be young.
Round green people usually feel blue.
A person that is round, green, and blue is usually considered cold.