Alan had big, red, round cheeks. Bob is both young and fairly round in size. Eric was born only a few years ago so he is young. Gary is so big and round, it's hard to tell he is red, green and blue all at once. Red, kind, rough people are the young ones. Red and round people are nice to others even though they are big. It's easy to be round and blue when you are young. Big, round, red people are always so young. If a young person knows he is big and round, then he will be blue. A big and blue colored person is also certainly very kind.
Alan is round.
("Alan" "is" "round" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is big.
("Alan" "is" "big" "+")
Bob is young.
("Bob" "is" "young" "+")
Bob is round.
("Bob" "is" "round" "+")
Eric is young.
("Eric" "is" "young" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is red and kind and rough then they are young.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and round and red then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is round and blue then they are young.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is big and round and red then they are young.
((("someone" "is" "big" "+") ("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If someone is round and big and young then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and big then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
Bob is round.
True
1
proof
[(triple5)]
("Bob" "is" "round" "+")
triple5
Alan is not big.
False
1
inv-proof
[(triple3)]
("Alan" "is" "big" "-")
triple3
Gary is kind.
True
3
proof
[(((triple10 triple11) -> rule6) OR ((((triple7 triple11 ((triple11 triple7 triple8) -> rule4)) -> rule5) triple11) -> rule6))]
("Gary" "is" "kind" "+")
((triple10 triple11) -> (rule6 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
((((triple7 triple11 ((triple11 triple7 triple8) -> (rule4 % int3))) -> (rule5 % int2)) triple11) -> (rule6 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Alan is not young.
False
4
inv-proof
[(((triple3 triple1 triple2) -> rule4))]
("Alan" "is" "young" "-")
((triple3 triple1 triple2) -> (rule4 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is blue.
True
7
proof
[(((triple1 triple3 ((triple3 triple1 triple2) -> rule4)) -> rule5))]
("Alan" "is" "blue" "+")
((triple1 triple3 ((triple3 triple1 triple2) -> (rule4 % int2))) -> (rule5 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is not blue.
False
7
inv-proof
[(((triple1 triple3 ((triple3 triple1 triple2) -> rule4)) -> rule5))]
("Alan" "is" "blue" "-")
((triple1 triple3 ((triple3 triple1 triple2) -> (rule4 % int2))) -> (rule5 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is kind.
True
9
proof
[(((((triple1 triple3 ((triple3 triple1 triple2) -> rule4)) -> rule5) triple3) -> rule6))]
("Alan" "is" "kind" "+")
((((triple1 triple3 ((triple3 triple1 triple2) -> (rule4 % int3))) -> (rule5 % int2)) triple3) -> (rule6 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is not kind.
False
9
inv-proof
[(((((triple1 triple3 ((triple3 triple1 triple2) -> rule4)) -> rule5) triple3) -> rule6))]
("Alan" "is" "kind" "-")
((((triple1 triple3 ((triple3 triple1 triple2) -> (rule4 % int3))) -> (rule5 % int2)) triple3) -> (rule6 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Bob is not big.
Unknown
inv-rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "big" "-")
Eric is kind.
Unknown
rconc
[@2: Eric is kind.[CWA. Example of deepest failure = (rule6 <- rule5 <- FAIL)]]
("Eric" "is" "kind" "+")
Eric is not blue.
Unknown
inv-rconc
[@1: Eric is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "blue" "-")
Eric is big.
Unknown
rconc
[@1: Eric is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "big" "+")
Bob is not green.
Unknown
inv-random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "-")
Eric is rough.
Unknown
random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Eric is cold.
Unknown
random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "+")
@0: Alan is big.[(triple3)] Alan is red.[(triple2)] Alan is round.[(triple1)] Bob is round.[(triple5)] Bob is young.[(triple4)] Eric is young.[(triple6)] Gary is big.[(triple11)] Gary is blue.[(triple10 OR ((triple7 triple11 ((triple11 triple7 triple8) -> rule4)) -> rule5))] Gary is green.[(triple9)] Gary is red.[(triple8)] Gary is round.[(triple7)] @1: Alan is young.[(((triple3 triple1 triple2) -> rule4))] Gary is kind.[(((triple10 triple11) -> rule6) OR ((((triple7 triple11 ((triple11 triple7 triple8) -> rule4)) -> rule5) triple11) -> rule6))] Gary is young.[(((triple7 triple10) -> rule3) OR ((triple11 triple7 triple8) -> rule4))] @2: Alan is blue.[(((triple1 triple3 ((triple3 triple1 triple2) -> rule4)) -> rule5))] @3: Alan is kind.[(((((triple1 triple3 ((triple3 triple1 triple2) -> rule4)) -> rule5) triple3) -> rule6))]
Alan is big.
("Alan" "is" "big" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Bob is round.
("Bob" "is" "round" "+")
triple5
Bob is young.
("Bob" "is" "young" "+")
triple4
Eric is young.
("Eric" "is" "young" "+")
triple6
Gary is big.
("Gary" "is" "big" "+")
triple11
Gary is blue.
("Gary" "is" "blue" "+")
triple10
((triple7 triple11 ((triple11 triple7 triple8) -> (rule4 % int2))) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
triple9
Gary is red.
("Gary" "is" "red" "+")
triple8
Gary is round.
("Gary" "is" "round" "+")
triple7
Alan is young.
("Alan" "is" "young" "+")
((triple3 triple1 triple2) -> (rule4 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
((triple10 triple11) -> (rule6 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
((((triple7 triple11 ((triple11 triple7 triple8) -> (rule4 % int3))) -> (rule5 % int2)) triple11) -> (rule6 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
((triple7 triple10) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((triple11 triple7 triple8) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
((triple1 triple3 ((triple3 triple1 triple2) -> (rule4 % int2))) -> (rule5 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
((((triple1 triple3 ((triple3 triple1 triple2) -> (rule4 % int3))) -> (rule5 % int2)) triple3) -> (rule6 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan had big, red, round cheeks.
Bob is both young and fairly round in size.
Eric was born only a few years ago so he is young.
Gary is so big and round, it's hard to tell he is red, green and blue all at once.
Red, kind, rough people are the young ones.
Red and round people are nice to others even though they are big.
It's easy to be round and blue when you are young.
Big, round, red people are always so young.
If a young person knows he is big and round, then he will be blue.
A big and blue colored person is also certainly very kind.