That man standing next to you with a big round body goes by the name of Alan. Charlie who is round and rough is also said to be nice and kind and is feeling green and blue. Fred is round in the middle and extraordinarily nice but he's also blue because people don't always treat him well. This person is nice and young, also round, which makes them cold. Rough and kind people are big. A big, nice, blue person is likely to be young. Being kind and young means that if they are also blue, they are always red. Young, round people seem to be big in our experience. A rough, big, and round person can't help but be kind as well.
Alan is round.
("Alan" "is" "round" "+")
Alan is big.
("Alan" "is" "big" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is blue.
("Fred" "is" "blue" "+")
If someone is young and nice and round then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and kind then they are big.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is big and nice and blue then they are young.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and kind and young then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is young and round then they are big.
((("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and big and round then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
Charlie is nice.
True
1
proof
[(triple5)]
("Charlie" "is" "nice" "+")
triple5
Fred is not nice.
False
1
inv-proof
[(triple10)]
("Fred" "is" "nice" "-")
triple10
Charlie is big.
True
3
proof
[(((triple4 triple6) -> rule2))]
("Charlie" "is" "big" "+")
((triple4 triple6) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is not big.
False
3
inv-proof
[(((triple4 triple6) -> rule2))]
("Charlie" "is" "big" "-")
((triple4 triple6) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is young.
True
6
proof
[(((((triple4 triple6) -> rule2) triple5 triple8) -> rule3))]
("Charlie" "is" "young" "+")
((((triple4 triple6) -> (rule2 % int2)) triple5 triple8) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is not young.
False
6
inv-proof
[(((((triple4 triple6) -> rule2) triple5 triple8) -> rule3))]
("Charlie" "is" "young" "-")
((((triple4 triple6) -> (rule2 % int2)) triple5 triple8) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is cold.
True
9
proof
[(((((((triple4 triple6) -> rule2) triple5 triple8) -> rule3) triple5 triple3) -> rule1))]
("Charlie" "is" "cold" "+")
((((((triple4 triple6) -> (rule2 % int3)) triple5 triple8) -> (rule3 % int2)) triple5 triple3) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is not cold.
False
9
inv-proof
[(((((((triple4 triple6) -> rule2) triple5 triple8) -> rule3) triple5 triple3) -> rule1))]
("Charlie" "is" "cold" "-")
((((((triple4 triple6) -> (rule2 % int3)) triple5 triple8) -> (rule3 % int2)) triple5 triple3) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Dave is not young.
Unknown
inv-rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "young" "-")
Fred is kind.
Unknown
rconc
[@1: Fred is kind.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fred" "is" "kind" "+")
Fred is not big.
Unknown
inv-rconc
[@3: Fred is big.[CWA. Example of deepest failure = (rule5 <- rule3 <- rule2 <- FAIL)]]
("Fred" "is" "big" "-")
Dave is red.
Unknown
rconc
[@1: Dave is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "red" "+")
Alan is not blue.
Unknown
inv-random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "-")
Fred is rough.
Unknown
random
[@0: Fred is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "rough" "+")
Dave is not rough.
Unknown
inv-random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "-")
Dave is blue.
Unknown
random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "+")
@0: Alan is big.[(triple2)] Alan is round.[(triple1)] Charlie is blue.[(triple8)] Charlie is green.[(triple7)] Charlie is kind.[(triple6)] Charlie is nice.[(triple5)] Charlie is rough.[(triple4)] Charlie is round.[(triple3)] Fred is blue.[(triple11)] Fred is nice.[(triple10)] Fred is round.[(triple9)] @1: Charlie is big.[(((triple4 triple6) -> rule2))] @2: Charlie is young.[(((((triple4 triple6) -> rule2) triple5 triple8) -> rule3))] @3: Charlie is cold.[(((((((triple4 triple6) -> rule2) triple5 triple8) -> rule3) triple5 triple3) -> rule1))] Charlie is red.[(((triple8 triple6 ((((triple4 triple6) -> rule2) triple5 triple8) -> rule3)) -> rule4))]
Alan is big.
("Alan" "is" "big" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple8
Charlie is green.
("Charlie" "is" "green" "+")
triple7
Charlie is kind.
("Charlie" "is" "kind" "+")
triple6
Charlie is nice.
("Charlie" "is" "nice" "+")
triple5
Charlie is rough.
("Charlie" "is" "rough" "+")
triple4
Charlie is round.
("Charlie" "is" "round" "+")
triple3
Fred is blue.
("Fred" "is" "blue" "+")
triple11
Fred is nice.
("Fred" "is" "nice" "+")
triple10
Fred is round.
("Fred" "is" "round" "+")
triple9
Charlie is big.
("Charlie" "is" "big" "+")
((triple4 triple6) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
((((triple4 triple6) -> (rule2 % int2)) triple5 triple8) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
((((((triple4 triple6) -> (rule2 % int3)) triple5 triple8) -> (rule3 % int2)) triple5 triple3) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
((triple8 triple6 ((((triple4 triple6) -> (rule2 % int3)) triple5 triple8) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
That man standing next to you with a big round body goes by the name of Alan.
Charlie who is round and rough is also said to be nice and kind and is feeling green and blue.
Fred is round in the middle and extraordinarily nice but he's also blue because people don't always treat him well.
This person is nice and young, also round, which makes them cold.
Rough and kind people are big.
A big, nice, blue person is likely to be young.
Being kind and young means that if they are also blue, they are always red.
Young, round people seem to be big in our experience.
A rough, big, and round person can't help but be kind as well.