Bob was born only a few years ago so he is young. Big Charlie, the most blue guy I know while also being cold. Even though he's young and green, Eric is rough. Gary wears all blue. Surprisingly, all the kind, green people were also big. Any human being with green, big, kind eyes, also has round eyes. A green colored person will be young and also kind. A red, round male or female will also be a nice male or female. A person who is very round is nice but also quite rough. Young people are rough.
Bob is young.
("Bob" "is" "young" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is green.
("Eric" "is" "green" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is kind and green then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is green and big and kind then they are round.
((("someone" "is" "green" "+") ("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is green and young then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is red and round then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and nice then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is young then they are rough.
((("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
Gary is blue.
True
1
proof
[(triple8)]
("Gary" "is" "blue" "+")
triple8
Charlie is not blue.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "blue" "-")
triple3
Eric is kind.
True
3
proof
[(((triple7 triple5) -> rule3))]
("Eric" "is" "kind" "+")
((triple7 triple5) -> (rule3 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Bob is not rough.
False
2
inv-proof
[(((triple1) -> rule6))]
("Bob" "is" "rough" "-")
((triple1) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Eric is big.
True
5
proof
[(((((triple7 triple5) -> rule3) triple7) -> rule1))]
("Eric" "is" "big" "+")
((((triple7 triple5) -> (rule3 % int2)) triple7) -> (rule1 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is not big.
False
5
inv-proof
[(((((triple7 triple5) -> rule3) triple7) -> rule1))]
("Eric" "is" "big" "-")
((((triple7 triple5) -> (rule3 % int2)) triple7) -> (rule1 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is round.
True
10
proof
[(((triple7 ((((triple7 triple5) -> rule3) triple7) -> rule1) ((triple7 triple5) -> rule3)) -> rule2))]
("Eric" "is" "round" "+")
((triple7 ((((triple7 triple5) -> (rule3 % int3)) triple7) -> (rule1 % int2)) ((triple7 triple5) -> (rule3 % int3))) -> (rule2 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is not round.
False
10
inv-proof
[(((triple7 ((((triple7 triple5) -> rule3) triple7) -> rule1) ((triple7 triple5) -> rule3)) -> rule2))]
("Eric" "is" "round" "-")
((triple7 ((((triple7 triple5) -> (rule3 % int3)) triple7) -> (rule1 % int2)) ((triple7 triple5) -> (rule3 % int3))) -> (rule2 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Gary is not nice.
Unknown
inv-rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "nice" "-")
Gary is round.
Unknown
rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "round" "+")
Bob is not nice.
Unknown
inv-rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "nice" "-")
Charlie is kind.
Unknown
rconc
[@1: Charlie is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "kind" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Eric is red.
Unknown
random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "+")
Charlie is not red.
Unknown
inv-random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "-")
Eric is cold.
Unknown
random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "+")
@0: Bob is young.[(triple1)] Charlie is big.[(triple4)] Charlie is blue.[(triple3)] Charlie is cold.[(triple2)] Eric is green.[(triple7)] Eric is rough.[(triple6 OR ((triple5) -> rule6))] Eric is young.[(triple5)] Gary is blue.[(triple8)] @1: Bob is rough.[(((triple1) -> rule6))] Eric is kind.[(((triple7 triple5) -> rule3))] @2: Eric is big.[(((((triple7 triple5) -> rule3) triple7) -> rule1))] @3: Eric is round.[(((triple7 ((((triple7 triple5) -> rule3) triple7) -> rule1) ((triple7 triple5) -> rule3)) -> rule2))]
Bob is young.
("Bob" "is" "young" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple4
Charlie is blue.
("Charlie" "is" "blue" "+")
triple3
Charlie is cold.
("Charlie" "is" "cold" "+")
triple2
Eric is green.
("Eric" "is" "green" "+")
triple7
Eric is rough.
("Eric" "is" "rough" "+")
triple6
((triple5) -> (rule6 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
triple5
Gary is blue.
("Gary" "is" "blue" "+")
triple8
Bob is rough.
("Bob" "is" "rough" "+")
((triple1) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
((triple7 triple5) -> (rule3 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
((((triple7 triple5) -> (rule3 % int2)) triple7) -> (rule1 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
((triple7 ((((triple7 triple5) -> (rule3 % int3)) triple7) -> (rule1 % int2)) ((triple7 triple5) -> (rule3 % int3))) -> (rule2 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Bob was born only a few years ago so he is young.
Big Charlie, the most blue guy I know while also being cold.
Even though he's young and green, Eric is rough.
Gary wears all blue.
Surprisingly, all the kind, green people were also big.
Any human being with green, big, kind eyes, also has round eyes.
A green colored person will be young and also kind.
A red, round male or female will also be a nice male or female.
A person who is very round is nice but also quite rough.
Young people are rough.