That Alan is as round and red as a cherry, and twice as kind. Bob is big and rough. Charlie wears all blue. Fred is round shaped and green colored. A big and young, round someone looks red. There could be a round someone with red hair wearing blue pants. People with blue and red skin color are also green. Blue, young and round people are usually big. Being green, blue, and red all point to how young someone was.
Alan is round.
("Alan" "is" "round" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is big.
("Bob" "is" "big" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is green.
("Fred" "is" "green" "+")
If someone is big and young and round then they are red.
((("someone" "is" "big" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is red and round then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and red then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and young and round then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is green and blue and red then they are young.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
Bob is big.
True
1
proof
[(triple5)]
("Bob" "is" "big" "+")
triple5
Bob is not big.
False
1
inv-proof
[(triple5)]
("Bob" "is" "big" "-")
triple5
Alan is blue.
True
3
proof
[(((triple2 triple1) -> rule2))]
("Alan" "is" "blue" "+")
((triple2 triple1) -> (rule2 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is not blue.
False
3
inv-proof
[(((triple2 triple1) -> rule2))]
("Alan" "is" "blue" "-")
((triple2 triple1) -> (rule2 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is green.
True
5
proof
[(((((triple2 triple1) -> rule2) triple2) -> rule3))]
("Alan" "is" "green" "+")
((((triple2 triple1) -> (rule2 % int2)) triple2) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is not green.
False
5
inv-proof
[(((((triple2 triple1) -> rule2) triple2) -> rule3))]
("Alan" "is" "green" "-")
((((triple2 triple1) -> (rule2 % int2)) triple2) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is young.
True
10
proof
[(((((((triple2 triple1) -> rule2) triple2) -> rule3) ((triple2 triple1) -> rule2) triple2) -> rule5))]
("Alan" "is" "young" "+")
((((((triple2 triple1) -> (rule2 % int3)) triple2) -> (rule3 % int2)) ((triple2 triple1) -> (rule2 % int3)) triple2) -> (rule5 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Alan is not young.
False
10
inv-proof
[(((((((triple2 triple1) -> rule2) triple2) -> rule3) ((triple2 triple1) -> rule2) triple2) -> rule5))]
("Alan" "is" "young" "-")
((((((triple2 triple1) -> (rule2 % int3)) triple2) -> (rule3 % int2)) ((triple2 triple1) -> (rule2 % int3)) triple2) -> (rule5 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Alan is big.
True
15
proof
[(((((triple2 triple1) -> rule2) ((((((triple2 triple1) -> rule2) triple2) -> rule3) ((triple2 triple1) -> rule2) triple2) -> rule5) triple1) -> rule4))]
("Alan" "is" "big" "+")
((((triple2 triple1) -> (rule2 % int4)) ((((((triple2 triple1) -> (rule2 % int4)) triple2) -> (rule3 % int3)) ((triple2 triple1) -> (rule2 % int4)) triple2) -> (rule5 % int2)) triple1) -> (rule4 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is blue.
("Alan" "is" "blue" "+")
int4
Alan is not big.
False
15
inv-proof
[(((((triple2 triple1) -> rule2) ((((((triple2 triple1) -> rule2) triple2) -> rule3) ((triple2 triple1) -> rule2) triple2) -> rule5) triple1) -> rule4))]
("Alan" "is" "big" "-")
((((triple2 triple1) -> (rule2 % int4)) ((((((triple2 triple1) -> (rule2 % int4)) triple2) -> (rule3 % int3)) ((triple2 triple1) -> (rule2 % int4)) triple2) -> (rule5 % int2)) triple1) -> (rule4 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is blue.
("Alan" "is" "blue" "+")
int4
Charlie is not red.
Unknown
inv-rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "red" "-")
Fred is blue.
Unknown
rconc
[@3: Fred is blue.[CWA. Example of deepest failure = (rule2 <- rule1 <- rule4 <- FAIL)]]
("Fred" "is" "blue" "+")
Bob is not blue.
Unknown
inv-rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "blue" "-")
Bob is green.
Unknown
rconc
[@2: Bob is green.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Bob" "is" "green" "+")
Charlie is not young.
Unknown
inv-rconc
[@2: Charlie is young.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Charlie" "is" "young" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
Charlie is not rough.
Unknown
inv-random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
Alan is not rough.
Unknown
inv-random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
@0: Alan is kind.[(triple3)] Alan is red.[(triple2)] Alan is round.[(triple1)] Bob is big.[(triple5)] Bob is rough.[(triple4)] Charlie is blue.[(triple6)] Fred is green.[(triple8)] Fred is round.[(triple7)] @1: Alan is blue.[(((triple2 triple1) -> rule2))] @2: Alan is green.[(((((triple2 triple1) -> rule2) triple2) -> rule3))] @3: Alan is young.[(((((((triple2 triple1) -> rule2) triple2) -> rule3) ((triple2 triple1) -> rule2) triple2) -> rule5))] @4: Alan is big.[(((((triple2 triple1) -> rule2) ((((((triple2 triple1) -> rule2) triple2) -> rule3) ((triple2 triple1) -> rule2) triple2) -> rule5) triple1) -> rule4))]
Alan is kind.
("Alan" "is" "kind" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple5
Bob is rough.
("Bob" "is" "rough" "+")
triple4
Charlie is blue.
("Charlie" "is" "blue" "+")
triple6
Fred is green.
("Fred" "is" "green" "+")
triple8
Fred is round.
("Fred" "is" "round" "+")
triple7
Alan is blue.
("Alan" "is" "blue" "+")
((triple2 triple1) -> (rule2 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
((((triple2 triple1) -> (rule2 % int2)) triple2) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
((((((triple2 triple1) -> (rule2 % int3)) triple2) -> (rule3 % int2)) ((triple2 triple1) -> (rule2 % int3)) triple2) -> (rule5 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Alan is big.
("Alan" "is" "big" "+")
((((triple2 triple1) -> (rule2 % int4)) ((((((triple2 triple1) -> (rule2 % int4)) triple2) -> (rule3 % int3)) ((triple2 triple1) -> (rule2 % int4)) triple2) -> (rule5 % int2)) triple1) -> (rule4 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is blue.
("Alan" "is" "blue" "+")
int4
That Alan is as round and red as a cherry, and twice as kind.
Bob is big and rough.
Charlie wears all blue.
Fred is round shaped and green colored.
A big and young, round someone looks red.
There could be a round someone with red hair wearing blue pants.
People with blue and red skin color are also green.
Blue, young and round people are usually big.
Being green, blue, and red all point to how young someone was.