Bob was born only a few years ago so he is young. Charlie feels nice and kind today, so he paints himself green and embraces his cold side. Charlie is big enough to do whatever he wants. Eric is round shaped and green colored. Even though he's a big dude, Gary is cold. A round person who is nice and feelin cold is usually rough in apperance. Any green person is a round person. All the big and young boys at the park are red. When someone is young, they can be cold but kind. Those who are round and cold are young.
Bob is young.
("Bob" "is" "young" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is green.
("Eric" "is" "green" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is round and nice and cold then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
If someone is green then they are round.
((("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is big and young then they are red.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is young and cold then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and round then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
Eric is round.
True
1
proof
[(triple7 OR ((triple8) -> rule2))]
("Eric" "is" "round" "+")
triple7
((triple8) -> (rule2 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Gary is not cold.
False
1
inv-proof
[(triple9)]
("Gary" "is" "cold" "-")
triple9
Charlie is round.
True
2
proof
[(((triple4) -> rule2))]
("Charlie" "is" "round" "+")
((triple4) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is not round.
False
2
inv-proof
[(((triple4) -> rule2))]
("Charlie" "is" "round" "-")
((triple4) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is rough.
True
5
proof
[(((((triple4) -> rule2) triple2 triple5) -> rule1))]
("Charlie" "is" "rough" "+")
((((triple4) -> (rule2 % int2)) triple2 triple5) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is not young.
False
4
inv-proof
[(((triple5 ((triple4) -> rule2)) -> rule5))]
("Charlie" "is" "young" "-")
((triple5 ((triple4) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is red.
True
6
proof
[(((triple6 ((triple5 ((triple4) -> rule2)) -> rule5)) -> rule3))]
("Charlie" "is" "red" "+")
((triple6 ((triple5 ((triple4) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is not red.
False
6
inv-proof
[(((triple6 ((triple5 ((triple4) -> rule2)) -> rule5)) -> rule3))]
("Charlie" "is" "red" "-")
((triple6 ((triple5 ((triple4) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Gary is not red.
Unknown
inv-rconc
[@3: Gary is red.[CWA. Example of deepest failure = (rule3 <- rule5 <- rule2 <- FAIL)]]
("Gary" "is" "red" "-")
Bob is red.
Unknown
rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "red" "+")
Gary is not kind.
Unknown
inv-rconc
[@3: Gary is kind.[CWA. Example of deepest failure = (rule4 <- rule5 <- rule2 <- FAIL)]]
("Gary" "is" "kind" "-")
Gary is round.
Unknown
rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "round" "+")
Bob is not green.
Unknown
inv-random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "-")
Eric is cold.
Unknown
random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "+")
Bob is not blue.
Unknown
inv-random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
@0: Bob is young.[(triple1)] Charlie is big.[(triple6)] Charlie is cold.[(triple5)] Charlie is green.[(triple4)] Charlie is kind.[(triple3 OR ((((triple5 ((triple4) -> rule2)) -> rule5) triple5) -> rule4))] Charlie is nice.[(triple2)] Eric is green.[(triple8)] Eric is round.[(triple7 OR ((triple8) -> rule2))] Gary is big.[(triple10)] Gary is cold.[(triple9)] @1: Charlie is round.[(((triple4) -> rule2))] @2: Charlie is rough.[(((((triple4) -> rule2) triple2 triple5) -> rule1))] Charlie is young.[(((triple5 ((triple4) -> rule2)) -> rule5))] @3: Charlie is red.[(((triple6 ((triple5 ((triple4) -> rule2)) -> rule5)) -> rule3))]
Bob is young.
("Bob" "is" "young" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple6
Charlie is cold.
("Charlie" "is" "cold" "+")
triple5
Charlie is green.
("Charlie" "is" "green" "+")
triple4
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
((((triple5 ((triple4) -> (rule2 % int3))) -> (rule5 % int2)) triple5) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Eric is green.
("Eric" "is" "green" "+")
triple8
Eric is round.
("Eric" "is" "round" "+")
triple7
((triple8) -> (rule2 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
triple10
Gary is cold.
("Gary" "is" "cold" "+")
triple9
Charlie is round.
("Charlie" "is" "round" "+")
((triple4) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
((((triple4) -> (rule2 % int2)) triple2 triple5) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
((triple5 ((triple4) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
((triple6 ((triple5 ((triple4) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Bob was born only a few years ago so he is young.
Charlie feels nice and kind today, so he paints himself green and embraces his cold side; Charlie is big enough to do whatever he wants.
Eric is round shaped and green colored.
Even though he's a big dude, Gary is cold.
A round person who is nice and feelin cold is usually rough in apperance.
Any green person is a round person.
All the big and young boys at the park are red.
When someone is young, they can be cold but kind.
Those who are round and cold are young.