Charlie ate some rotten meat and now feels green. Gary is a young man is who big and round. He is very kind and never someone who is cold and blue. Young people with red skin who are a bit downhearted and blue are kind. Pick someone blue, kind and big, and they are certain to be green as well. If a red and blue person is also kind to people that means they are rough as well. Young and rough green people, have no choice but to be red. Any person who is blue and round, if they are kind at the same time, will be young. A green person that is cold is often considered to be red.
Charlie is green.
("Charlie" "is" "green" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is young and blue and red then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and kind and big then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is red and blue and kind then they are rough.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and rough and green then they are red.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and round and kind then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is green and cold then they are red.
((("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
Charlie is green.
True
1
proof
[(triple1)]
("Charlie" "is" "green" "+")
triple1
Gary is not cold.
False
1
inv-proof
[(triple5)]
("Gary" "is" "cold" "-")
triple5
Gary is green.
True
4
proof
[(((triple6 triple4 triple7) -> rule2))]
("Gary" "is" "green" "+")
((triple6 triple4 triple7) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is not green.
False
4
inv-proof
[(((triple6 triple4 triple7) -> rule2))]
("Gary" "is" "green" "-")
((triple6 triple4 triple7) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
True
6
proof
[(((((triple6 triple4 triple7) -> rule2) triple5) -> rule6))]
("Gary" "is" "red" "+")
((((triple6 triple4 triple7) -> (rule2 % int2)) triple5) -> (rule6 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is not red.
False
6
inv-proof
[(((((triple6 triple4 triple7) -> rule2) triple5) -> rule6))]
("Gary" "is" "red" "-")
((((triple6 triple4 triple7) -> (rule2 % int2)) triple5) -> (rule6 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is rough.
True
9
proof
[(((((((triple6 triple4 triple7) -> rule2) triple5) -> rule6) triple6 triple4) -> rule3))]
("Gary" "is" "rough" "+")
((((((triple6 triple4 triple7) -> (rule2 % int3)) triple5) -> (rule6 % int2)) triple6 triple4) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is not rough.
False
9
inv-proof
[(((((((triple6 triple4 triple7) -> rule2) triple5) -> rule6) triple6 triple4) -> rule3))]
("Gary" "is" "rough" "-")
((((((triple6 triple4 triple7) -> (rule2 % int3)) triple5) -> (rule6 % int2)) triple6 triple4) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Bob is not red.
Unknown
inv-rconc
[@2: Bob is red.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("Bob" "is" "red" "-")
Charlie is young.
Unknown
rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "young" "+")
Eric is not green.
Unknown
inv-rconc
[@1: Eric is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "green" "-")
Eric is red.
Unknown
rconc
[@2: Eric is red.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("Eric" "is" "red" "+")
Bob is not blue.
Unknown
inv-random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "-")
Eric is cold.
Unknown
random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "+")
Eric is not round.
Unknown
inv-random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
@0: Charlie is green.[(triple1)] Gary is big.[(triple7)] Gary is blue.[(triple6)] Gary is cold.[(triple5)] Gary is kind.[(triple4)] Gary is round.[(triple3)] Gary is young.[(triple2 OR ((triple6 triple3 triple4) -> rule5))] @1: Gary is green.[(((triple6 triple4 triple7) -> rule2))] @2: Gary is red.[(((((triple6 triple4 triple7) -> rule2) triple5) -> rule6))] @3: Gary is rough.[(((((((triple6 triple4 triple7) -> rule2) triple5) -> rule6) triple6 triple4) -> rule3))]
Charlie is green.
("Charlie" "is" "green" "+")
triple1
Gary is big.
("Gary" "is" "big" "+")
triple7
Gary is blue.
("Gary" "is" "blue" "+")
triple6
Gary is cold.
("Gary" "is" "cold" "+")
triple5
Gary is kind.
("Gary" "is" "kind" "+")
triple4
Gary is round.
("Gary" "is" "round" "+")
triple3
Gary is young.
("Gary" "is" "young" "+")
triple2
((triple6 triple3 triple4) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((triple6 triple4 triple7) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
((((triple6 triple4 triple7) -> (rule2 % int2)) triple5) -> (rule6 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
((((((triple6 triple4 triple7) -> (rule2 % int3)) triple5) -> (rule6 % int2)) triple6 triple4) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Charlie ate some rotten meat and now feels green.
Gary is a young man is who big and round; He is very kind and never someone who is cold and blue.
Young people with red skin who are a bit downhearted and blue are kind.
Pick someone blue, kind and big, and they are certain to be green as well.
If a red and blue person is also kind to people that means they are rough as well.
Young and rough green people, have no choice but to be red.
Any person who is blue and round, if they are kind at the same time, will be young.
A green person that is cold is often considered to be red.