Alan is blue from ink he spilled on himself while being kind and helping some children paint. Bob is a person both green and big. Charlie ate some rotten meat and now feels green. Eric, who is nice and kind, can also be thought of as cold and rough. Maybe someone is rough and blue with the cold. Any human being with green, big, kind eyes, also has round eyes. Someone can be very nice and kind, and this means they are also green. Big and round people can't help but be cold all of the time. A nice person who is always seen to be wearing green clothes will be rather big in size. Anyone that's described as young, kind and blue can be said to be cold, too.
If someone is rough and blue then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
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 nice and kind then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is big and round then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is green and nice then they are big.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is young and blue and kind then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
Charlie is green.
True
1
proof
[(triple5)]
("Charlie" "is" "green" "+")
triple5
Eric is not nice.
False
1
inv-proof
[(triple7)]
("Eric" "is" "nice" "-")
triple7
Eric is green.
True
3
proof
[(((triple7 triple8) -> rule3))]
("Eric" "is" "green" "+")
((triple7 triple8) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is not green.
False
3
inv-proof
[(((triple7 triple8) -> rule3))]
("Eric" "is" "green" "-")
((triple7 triple8) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is big.
True
5
proof
[(((((triple7 triple8) -> rule3) triple7) -> rule5))]
("Eric" "is" "big" "+")
((((triple7 triple8) -> (rule3 % int2)) triple7) -> (rule5 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is not big.
False
5
inv-proof
[(((((triple7 triple8) -> rule3) triple7) -> rule5))]
("Eric" "is" "big" "-")
((((triple7 triple8) -> (rule3 % int2)) triple7) -> (rule5 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is round.
True
10
proof
[(((((triple7 triple8) -> rule3) ((((triple7 triple8) -> rule3) triple7) -> rule5) triple8) -> rule2))]
("Eric" "is" "round" "+")
((((triple7 triple8) -> (rule3 % int3)) ((((triple7 triple8) -> (rule3 % int3)) triple7) -> (rule5 % int2)) triple8) -> (rule2 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is not round.
False
10
inv-proof
[(((((triple7 triple8) -> rule3) ((((triple7 triple8) -> rule3) triple7) -> rule5) triple8) -> rule2))]
("Eric" "is" "round" "-")
((((triple7 triple8) -> (rule3 % int3)) ((((triple7 triple8) -> (rule3 % int3)) triple7) -> (rule5 % int2)) triple8) -> (rule2 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Alan is not big.
Unknown
inv-rconc
[@1: Alan is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Alan" "is" "big" "-")
Charlie is cold.
Unknown
rconc
[@2: Charlie is cold.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("Charlie" "is" "cold" "+")
Alan is not green.
Unknown
inv-rconc
[@1: Alan is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "green" "-")
Charlie is round.
Unknown
rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "round" "+")
Alan is not red.
Unknown
inv-random
[@0: Alan is red.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "red" "-")
Alan is rough.
Unknown
random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "+")
Eric is not red.
Unknown
inv-random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
@0: Alan is blue.[(triple2)] Alan is kind.[(triple1)] Bob is big.[(triple4)] Bob is green.[(triple3)] Charlie is green.[(triple5)] Eric is cold.[(triple9 OR ((((((triple7 triple8) -> rule3) triple7) -> rule5) ((((triple7 triple8) -> rule3) ((((triple7 triple8) -> rule3) triple7) -> rule5) triple8) -> rule2)) -> rule4))] Eric is kind.[(triple8)] Eric is nice.[(triple7)] Eric is rough.[(triple6)] @1: Eric is green.[(((triple7 triple8) -> rule3))] @2: Eric is big.[(((((triple7 triple8) -> rule3) triple7) -> rule5))] @3: Eric is round.[(((((triple7 triple8) -> rule3) ((((triple7 triple8) -> rule3) triple7) -> rule5) triple8) -> rule2))]
Alan is blue.
("Alan" "is" "blue" "+")
triple2
Alan is kind.
("Alan" "is" "kind" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple4
Bob is green.
("Bob" "is" "green" "+")
triple3
Charlie is green.
("Charlie" "is" "green" "+")
triple5
Eric is cold.
("Eric" "is" "cold" "+")
triple9
((((((triple7 triple8) -> (rule3 % int4)) triple7) -> (rule5 % int3)) ((((triple7 triple8) -> (rule3 % int4)) ((((triple7 triple8) -> (rule3 % int4)) triple7) -> (rule5 % int3)) triple8) -> (rule2 % int2))) -> (rule4 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is green.
("Eric" "is" "green" "+")
int4
Eric is kind.
("Eric" "is" "kind" "+")
triple8
Eric is nice.
("Eric" "is" "nice" "+")
triple7
Eric is rough.
("Eric" "is" "rough" "+")
triple6
Eric is green.
("Eric" "is" "green" "+")
((triple7 triple8) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
((((triple7 triple8) -> (rule3 % int2)) triple7) -> (rule5 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
((((triple7 triple8) -> (rule3 % int3)) ((((triple7 triple8) -> (rule3 % int3)) triple7) -> (rule5 % int2)) triple8) -> (rule2 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Alan is blue from ink he spilled on himself while being kind and helping some children paint.
Bob is a person both green and big.
Charlie ate some rotten meat and now feels green.
Eric, who is nice and kind, can also be thought of as cold and rough.
Maybe someone is rough and blue with the cold.
Any human being with green, big, kind eyes, also has round eyes.
Someone can be very nice and kind, and this means they are also green.
Big and round people can't help but be cold all of the time.
A nice person who is always seen to be wearing green clothes will be rather big in size.
Anyone that's described as young, kind and blue can be said to be cold, too.