Bob is rough and cold, but he's young and will get over it. Charlie is interestingly colored red and blue, and is also very kind. Fred is rough around the edges, but he's often blue and always nice. Harry was born only a few years ago so he is young. Big and green people who feel cold are usually young in age. A big, blue person who is kind is also round. Blue people who are cold are always round in shape. Anyone that is a red, nice soul will be big, too. When someone is young they can be nice and kind, but green in society. Anyone you find who happens to be kind and blue will also be very nice.
Bob is young.
("Bob" "is" "young" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Harry is young.
("Harry" "is" "young" "+")
If someone is green and big and cold then they are young.
((("someone" "is" "green" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and kind and big then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and cold then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is red and nice then they are big.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is kind and nice and young then they are green.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and blue then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
Bob is rough.
True
1
proof
[(triple2)]
("Bob" "is" "rough" "+")
triple2
Fred is not nice.
False
1
inv-proof
[(triple8)]
("Fred" "is" "nice" "-")
triple8
Charlie is nice.
True
3
proof
[(((triple5 triple6) -> rule6))]
("Charlie" "is" "nice" "+")
((triple5 triple6) -> (rule6 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is not nice.
False
3
inv-proof
[(((triple5 triple6) -> rule6))]
("Charlie" "is" "nice" "-")
((triple5 triple6) -> (rule6 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
True
5
proof
[(((triple4 ((triple5 triple6) -> rule6)) -> rule4))]
("Charlie" "is" "big" "+")
((triple4 ((triple5 triple6) -> (rule6 % int2))) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is not big.
False
5
inv-proof
[(((triple4 ((triple5 triple6) -> rule6)) -> rule4))]
("Charlie" "is" "big" "-")
((triple4 ((triple5 triple6) -> (rule6 % int2))) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is round.
True
8
proof
[(((triple6 triple5 ((triple4 ((triple5 triple6) -> rule6)) -> rule4)) -> rule2))]
("Charlie" "is" "round" "+")
((triple6 triple5 ((triple4 ((triple5 triple6) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is not round.
False
8
inv-proof
[(((triple6 triple5 ((triple4 ((triple5 triple6) -> rule6)) -> rule4)) -> rule2))]
("Charlie" "is" "round" "-")
((triple6 triple5 ((triple4 ((triple5 triple6) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Bob is not big.
Unknown
inv-rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "big" "-")
Fred is young.
Unknown
rconc
[@1: Fred is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "young" "+")
Fred is not green.
Unknown
inv-rconc
[@1: Fred is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "green" "-")
Bob is green.
Unknown
rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "green" "+")
Charlie is not cold.
Unknown
inv-random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "-")
Fred is red.
Unknown
random
[@0: Fred is red.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "red" "+")
Charlie is not rough.
Unknown
inv-random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
@0: Bob is cold.[(triple3)] Bob is rough.[(triple2)] Bob is young.[(triple1)] Charlie is blue.[(triple6)] Charlie is kind.[(triple5)] Charlie is red.[(triple4)] Fred is blue.[(triple9)] Fred is nice.[(triple8)] Fred is rough.[(triple7)] Harry is young.[(triple10)] @1: Charlie is nice.[(((triple5 triple6) -> rule6))] @2: Charlie is big.[(((triple4 ((triple5 triple6) -> rule6)) -> rule4))] @3: Charlie is round.[(((triple6 triple5 ((triple4 ((triple5 triple6) -> rule6)) -> rule4)) -> rule2))]
Bob is cold.
("Bob" "is" "cold" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple6
Charlie is kind.
("Charlie" "is" "kind" "+")
triple5
Charlie is red.
("Charlie" "is" "red" "+")
triple4
Fred is blue.
("Fred" "is" "blue" "+")
triple9
Fred is nice.
("Fred" "is" "nice" "+")
triple8
Fred is rough.
("Fred" "is" "rough" "+")
triple7
Harry is young.
("Harry" "is" "young" "+")
triple10
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple5 triple6) -> (rule6 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
((triple4 ((triple5 triple6) -> (rule6 % int2))) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
((triple6 triple5 ((triple4 ((triple5 triple6) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Bob is rough and cold, but he's young and will get over it.
Charlie is interestingly colored red and blue, and is also very kind.
Fred is rough around the edges, but he's often blue and always nice.
Harry was born only a few years ago so he is young.
Big and green people who feel cold are usually young in age.
A big, blue person who is kind is also round.
Blue people who are cold are always round in shape.
Anyone that is a red, nice soul will be big, too.
When someone is young they can be nice and kind, but green in society.
Anyone you find who happens to be kind and blue will also be very nice.