Alan is a red person who is round and also feels blue. Bob loves cake which has made him quite round. Because he has been made fun of for quite some time, he has turned rough and cold towards others. Dave, like all young people, is nice. Gary was kind despite being rough. And because he was so big, Gary constantly felt cold. A big person who is kind but blue is cold. When someone is nice and rough they are usually red. People who are rough are young. If you meet someone who is red and blue with a round shape, you can count on them being nice to you. As someone can be round and rough, they can also be nice and kind. Find someone big, blue, and kind, and you'll see they are also quite young. If you meet somebody who is young, rough and round, you can be sure they are nice as well.
Alan is round.
("Alan" "is" "round" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is blue and kind and big then they are cold.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and rough then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is rough then they are young.
((("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and red and round then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and round and rough then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is big and blue and kind then they are young.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is young and round and rough then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
Bob is round.
True
1
proof
[(triple4)]
("Bob" "is" "round" "+")
triple4
Alan is not red.
False
1
inv-proof
[(triple2)]
("Alan" "is" "red" "-")
triple2
Gary is young.
True
2
proof
[(((triple9) -> rule3))]
("Gary" "is" "young" "+")
((triple9) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Bob is not young.
False
2
inv-proof
[(((triple5) -> rule3))]
("Bob" "is" "young" "-")
((triple5) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
True
5
proof
[(((((triple5) -> rule3) triple4 triple5) -> rule7))]
("Bob" "is" "nice" "+")
((((triple5) -> (rule3 % int2)) triple4 triple5) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is not nice.
False
5
inv-proof
[(((((triple5) -> rule3) triple4 triple5) -> rule7))]
("Bob" "is" "nice" "-")
((((triple5) -> (rule3 % int2)) triple4 triple5) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is kind.
True
8
proof
[(((((((triple5) -> rule3) triple4 triple5) -> rule7) triple4 triple5) -> rule5))]
("Bob" "is" "kind" "+")
((((((triple5) -> (rule3 % int3)) triple4 triple5) -> (rule7 % int2)) triple4 triple5) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is not red.
False
7
inv-proof
[(((((((triple5) -> rule3) triple4 triple5) -> rule7) triple5) -> rule2))]
("Bob" "is" "red" "-")
((((((triple5) -> (rule3 % int3)) triple4 triple5) -> (rule7 % int2)) triple5) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Dave is not kind.
Unknown
inv-rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "kind" "-")
Alan is kind.
Unknown
rconc
[@1: Alan is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Alan" "is" "kind" "+")
Dave is not red.
Unknown
inv-rconc
[@1: Dave is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "red" "-")
Gary is red.
Unknown
rconc
[@2: Gary is red.[CWA. Example of deepest failure = (rule2 <- rule4 <- FAIL)]]
("Gary" "is" "red" "+")
Dave is not round.
Unknown
inv-random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "-")
Dave is big.
Unknown
random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
@0: Alan is blue.[(triple3)] Alan is red.[(triple2)] Alan is round.[(triple1)] Bob is cold.[(triple6)] Bob is rough.[(triple5)] Bob is round.[(triple4)] Dave is nice.[(triple8)] Dave is young.[(triple7)] Gary is big.[(triple12)] Gary is cold.[(triple11)] Gary is kind.[(triple10)] Gary is rough.[(triple9)] @1: Alan is nice.[(((triple3 triple2 triple1) -> rule4))] Bob is young.[(((triple5) -> rule3))] Gary is young.[(((triple9) -> rule3))] @2: Bob is nice.[(((((triple5) -> rule3) triple4 triple5) -> rule7))] @3: Bob is kind.[(((((((triple5) -> rule3) triple4 triple5) -> rule7) triple4 triple5) -> rule5))] Bob is red.[(((((((triple5) -> rule3) triple4 triple5) -> rule7) triple5) -> rule2))]
Alan is blue.
("Alan" "is" "blue" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple6
Bob is rough.
("Bob" "is" "rough" "+")
triple5
Bob is round.
("Bob" "is" "round" "+")
triple4
Dave is nice.
("Dave" "is" "nice" "+")
triple8
Dave is young.
("Dave" "is" "young" "+")
triple7
Gary is big.
("Gary" "is" "big" "+")
triple12
Gary is cold.
("Gary" "is" "cold" "+")
triple11
Gary is kind.
("Gary" "is" "kind" "+")
triple10
Gary is rough.
("Gary" "is" "rough" "+")
triple9
Alan is nice.
("Alan" "is" "nice" "+")
((triple3 triple2 triple1) -> (rule4 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
((triple5) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((triple9) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
((((triple5) -> (rule3 % int2)) triple4 triple5) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
((((((triple5) -> (rule3 % int3)) triple4 triple5) -> (rule7 % int2)) triple4 triple5) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
((((((triple5) -> (rule3 % int3)) triple4 triple5) -> (rule7 % int2)) triple5) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Alan is a red person who is round and also feels blue.
Bob loves cake which has made him quite round; Because he has been made fun of for quite some time, he has turned rough and cold towards others.
Dave, like all young people, is nice.
Gary was kind despite being rough; And because he was so big, Gary constantly felt cold.
A big person who is kind but blue is cold.
When someone is nice and rough they are usually red.
People who are rough are young.
If you meet someone who is red and blue with a round shape, you can count on them being nice to you.
As someone can be round and rough, they can also be nice and kind.
Find someone big, blue, and kind, and you'll see they are also quite young.
If you meet somebody who is young, rough and round, you can be sure they are nice as well.