Alan is young but big for his age. Alan wasn't feeling well so he is a little green. Bob is a very rough person. As expected, he's also a very cold and big individual. Charlie was young, had red eyes and green hair. On top of that he was big and had cold hands. A big person who is kind but blue is cold. A big round person is nice. Anyone that's rough and cold is also going to be blue. Like a blueberry, a big blue person is round as anything. When someone feels blue and rough, they might be described as green. Young people who are nice and cold, are rather green.
Alan is young.
("Alan" "is" "young" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is big.
("Alan" "is" "big" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is big.
("Bob" "is" "big" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is big.
("Charlie" "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 round and big then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and rough then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and big then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and rough then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and young and cold then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
Charlie is green.
True
1
proof
[(triple9)]
("Charlie" "is" "green" "+")
triple9
Charlie is not green.
False
1
inv-proof
[(triple9)]
("Charlie" "is" "green" "-")
triple9
Bob is blue.
True
3
proof
[(((triple5 triple4) -> rule3))]
("Bob" "is" "blue" "+")
((triple5 triple4) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is not blue.
False
3
inv-proof
[(((triple5 triple4) -> rule3))]
("Bob" "is" "blue" "-")
((triple5 triple4) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
True
5
proof
[(((((triple5 triple4) -> rule3) triple4) -> rule5))]
("Bob" "is" "green" "+")
((((triple5 triple4) -> (rule3 % int2)) triple4) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is not green.
False
5
inv-proof
[(((((triple5 triple4) -> rule3) triple4) -> rule5))]
("Bob" "is" "green" "-")
((((triple5 triple4) -> (rule3 % int2)) triple4) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is nice.
True
7
proof
[(((((((triple5 triple4) -> rule3) triple6) -> rule4) triple6) -> rule2))]
("Bob" "is" "nice" "+")
((((((triple5 triple4) -> (rule3 % int3)) triple6) -> (rule4 % int2)) triple6) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is not nice.
False
7
inv-proof
[(((((((triple5 triple4) -> rule3) triple6) -> rule4) triple6) -> rule2))]
("Bob" "is" "nice" "-")
((((((triple5 triple4) -> (rule3 % int3)) triple6) -> (rule4 % int2)) triple6) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Harry is not nice.
Unknown
inv-rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "nice" "-")
Harry is green.
Unknown
rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "green" "+")
Harry is not cold.
Unknown
inv-rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "cold" "-")
Charlie is nice.
Unknown
rconc
[@3: Charlie is nice.[CWA. Example of deepest failure = (rule2 <- rule4 <- rule3 <- FAIL)]]
("Charlie" "is" "nice" "+")
Charlie is not kind.
Unknown
inv-random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "-")
Alan is rough.
Unknown
random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
@0: Alan is big.[(triple3)] Alan is green.[(triple2)] Alan is young.[(triple1)] Bob is big.[(triple6)] Bob is cold.[(triple5)] Bob is rough.[(triple4)] Charlie is big.[(triple11)] Charlie is cold.[(triple10)] Charlie is green.[(triple9)] Charlie is red.[(triple8)] Charlie is young.[(triple7)] @1: Bob is blue.[(((triple5 triple4) -> rule3))] @2: Bob is green.[(((((triple5 triple4) -> rule3) triple4) -> rule5))] Bob is round.[(((((triple5 triple4) -> rule3) triple6) -> rule4))] @3: Bob is nice.[(((((((triple5 triple4) -> rule3) triple6) -> rule4) triple6) -> rule2))]
Alan is big.
("Alan" "is" "big" "+")
triple3
Alan is green.
("Alan" "is" "green" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple6
Bob is cold.
("Bob" "is" "cold" "+")
triple5
Bob is rough.
("Bob" "is" "rough" "+")
triple4
Charlie is big.
("Charlie" "is" "big" "+")
triple11
Charlie is cold.
("Charlie" "is" "cold" "+")
triple10
Charlie is green.
("Charlie" "is" "green" "+")
triple9
Charlie is red.
("Charlie" "is" "red" "+")
triple8
Charlie is young.
("Charlie" "is" "young" "+")
triple7
Bob is blue.
("Bob" "is" "blue" "+")
((triple5 triple4) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
((((triple5 triple4) -> (rule3 % int2)) triple4) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
((((triple5 triple4) -> (rule3 % int2)) triple6) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
((((((triple5 triple4) -> (rule3 % int3)) triple6) -> (rule4 % int2)) triple6) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Alan is young but big for his age; Alan wasn't feeling well so he is a little green.
Bob is a very rough person; As expected, he's also a very cold and big individual.
Charlie was young, had red eyes and green hair; On top of that he was big and had cold hands.
A big person who is kind but blue is cold.
A big round person is nice.
Anyone that's rough and cold is also going to be blue.
Like a blueberry, a big blue person is round as anything.
When someone feels blue and rough, they might be described as green.
Young people who are nice and cold, are rather green.