Alan realized he was round and rough, and he decided to be nice and kind as well. Bob's a young guy who is big, red and round. Additionally, he's both kind and cold. Charlie was born only a few years ago so he is young. A green, downhearted, and blue person with red cheeks is big. This person is nice and young, also round, which makes them cold. If you meet a kind green person with a round shape they will also be young. Cold and kind people tend to be blue. Anyone with red and blue coloration also has green coloration. A blue and red colored person that is young is also very cold. People who are red and green are also nice.
If someone is blue and red and green then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
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 kind and green and round then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and kind then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
If someone is red and blue then they are green.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and young and red then they are cold.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is green and red then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
Alan is round.
True
1
proof
[(triple1)]
("Alan" "is" "round" "+")
triple1
Bob is not red.
False
1
inv-proof
[(triple7)]
("Bob" "is" "red" "-")
triple7
Bob is blue.
True
3
proof
[(((triple9 triple8) -> rule4))]
("Bob" "is" "blue" "+")
((triple9 triple8) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is not blue.
False
3
inv-proof
[(((triple9 triple8) -> rule4))]
("Bob" "is" "blue" "-")
((triple9 triple8) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
True
5
proof
[(((triple7 ((triple9 triple8) -> rule4)) -> rule5))]
("Bob" "is" "green" "+")
((triple7 ((triple9 triple8) -> (rule4 % int2))) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is not green.
False
5
inv-proof
[(((triple7 ((triple9 triple8) -> rule4)) -> rule5))]
("Bob" "is" "green" "-")
((triple7 ((triple9 triple8) -> (rule4 % int2))) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is nice.
True
7
proof
[(((((triple7 ((triple9 triple8) -> rule4)) -> rule5) triple7) -> rule7))]
("Bob" "is" "nice" "+")
((((triple7 ((triple9 triple8) -> (rule4 % int3))) -> (rule5 % int2)) triple7) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is not nice.
False
7
inv-proof
[(((((triple7 ((triple9 triple8) -> rule4)) -> rule5) triple7) -> rule7))]
("Bob" "is" "nice" "-")
((((triple7 ((triple9 triple8) -> (rule4 % int3))) -> (rule5 % int2)) triple7) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Charlie is not big.
Unknown
inv-rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "big" "-")
Charlie is blue.
Unknown
rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "blue" "+")
Eric is not young.
Unknown
inv-rconc
[@1: Eric is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "young" "-")
Eric is green.
Unknown
rconc
[@1: Eric is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "green" "+")
Alan is not red.
Unknown
inv-random
[@0: Alan is red.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "red" "-")
Eric is kind.
Unknown
random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "+")
Charlie is not red.
Unknown
inv-random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
@0: Alan is kind.[(triple4)] Alan is nice.[(triple3)] Alan is rough.[(triple2)] Alan is round.[(triple1)] Bob is big.[(triple10 OR ((((triple9 triple8) -> rule4) triple7 ((triple7 ((triple9 triple8) -> rule4)) -> rule5)) -> rule1))] Bob is cold.[(triple9)] Bob is kind.[(triple8)] Bob is red.[(triple7)] Bob is round.[(triple6)] Bob is young.[(triple5 OR ((triple8 ((triple7 ((triple9 triple8) -> rule4)) -> rule5) triple6) -> rule3))] Charlie is young.[(triple11)] @1: Bob is blue.[(((triple9 triple8) -> rule4))] @2: Bob is green.[(((triple7 ((triple9 triple8) -> rule4)) -> rule5))] @3: Bob is nice.[(((((triple7 ((triple9 triple8) -> rule4)) -> rule5) triple7) -> rule7))]
Alan is kind.
("Alan" "is" "kind" "+")
triple4
Alan is nice.
("Alan" "is" "nice" "+")
triple3
Alan is rough.
("Alan" "is" "rough" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple10
((((triple9 triple8) -> (rule4 % int3)) triple7 ((triple7 ((triple9 triple8) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
triple9
Bob is kind.
("Bob" "is" "kind" "+")
triple8
Bob is red.
("Bob" "is" "red" "+")
triple7
Bob is round.
("Bob" "is" "round" "+")
triple6
Bob is young.
("Bob" "is" "young" "+")
triple5
((triple8 ((triple7 ((triple9 triple8) -> (rule4 % int3))) -> (rule5 % int2)) triple6) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
triple11
Bob is blue.
("Bob" "is" "blue" "+")
((triple9 triple8) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
((triple7 ((triple9 triple8) -> (rule4 % int2))) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
((((triple7 ((triple9 triple8) -> (rule4 % int3))) -> (rule5 % int2)) triple7) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Alan realized he was round and rough, and he decided to be nice and kind as well.
Bob's a young guy who is big, red and round; Additionally, he's both kind and cold.
Charlie was born only a few years ago so he is young.
A green, downhearted, and blue person with red cheeks is big.
This person is nice and young, also round, which makes them cold.
If you meet a kind green person with a round shape they will also be young.
Cold and kind people tend to be blue.
Anyone with red and blue coloration also has green coloration.
A blue and red colored person that is young is also very cold.
People who are red and green are also nice.