Charlie is a rough man with a big heart who has red hair and a nice smile. Eric always goes out of his way to show that he is kind to people. Gary looks red to most people, with blue features. A round and nice person will certainly have a red tint to them. Nice people who are big are always feeling blue. Incredible as it may seem, young people who are red and have kind attitudes are always round. If someone is blue, young, and rough, they qualify as being round. A person who exhibits nice, kind and cold characteristics will also be a rough person. People with rough red and blue skin are young. Young and nice people are ultimately cold.
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is round and nice then they are red.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and big then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is young and red and kind then they are round.
((("someone" "is" "young" "+") ("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and young and blue then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and nice and cold then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and red and blue then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is young and nice then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
Gary is red.
True
1
proof
[(triple6)]
("Gary" "is" "red" "+")
triple6
Charlie is not red.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "red" "-")
triple2
Charlie is blue.
True
3
proof
[(((triple3 triple4) -> rule2))]
("Charlie" "is" "blue" "+")
((triple3 triple4) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is not blue.
False
3
inv-proof
[(((triple3 triple4) -> rule2))]
("Charlie" "is" "blue" "-")
((triple3 triple4) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
True
6
proof
[(((triple1 triple2 ((triple3 triple4) -> rule2)) -> rule6))]
("Charlie" "is" "young" "+")
((triple1 triple2 ((triple3 triple4) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is not young.
False
6
inv-proof
[(((triple1 triple2 ((triple3 triple4) -> rule2)) -> rule6))]
("Charlie" "is" "young" "-")
((triple1 triple2 ((triple3 triple4) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is cold.
True
8
proof
[(((((triple1 triple2 ((triple3 triple4) -> rule2)) -> rule6) triple3) -> rule7))]
("Charlie" "is" "cold" "+")
((((triple1 triple2 ((triple3 triple4) -> (rule2 % int3))) -> (rule6 % int2)) triple3) -> (rule7 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is not round.
False
11
inv-proof
[(((triple1 ((triple1 triple2 ((triple3 triple4) -> rule2)) -> rule6) ((triple3 triple4) -> rule2)) -> rule4))]
("Charlie" "is" "round" "-")
((triple1 ((triple1 triple2 ((triple3 triple4) -> (rule2 % int3))) -> (rule6 % int2)) ((triple3 triple4) -> (rule2 % int3))) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Fred is not rough.
Unknown
inv-rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "rough" "-")
Eric is red.
Unknown
rconc
[@1: Eric is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "red" "+")
Gary is not round.
Unknown
inv-rconc
[@2: Gary is round.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("Gary" "is" "round" "-")
Fred is young.
Unknown
rconc
[@2: Fred is young.[CWA. Example of deepest failure = (rule6 <- rule5 <- FAIL)]]
("Fred" "is" "young" "+")
Eric is not green.
Unknown
inv-random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "-")
Fred is green.
Unknown
random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "+")
Fred is not nice.
Unknown
inv-random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
@0: Charlie is big.[(triple4)] Charlie is nice.[(triple3)] Charlie is red.[(triple2)] Charlie is rough.[(triple1)] Eric is kind.[(triple5)] Gary is blue.[(triple7)] Gary is red.[(triple6)] @1: Charlie is blue.[(((triple3 triple4) -> rule2))] @2: Charlie is young.[(((triple1 triple2 ((triple3 triple4) -> rule2)) -> rule6))] @3: Charlie is cold.[(((((triple1 triple2 ((triple3 triple4) -> rule2)) -> rule6) triple3) -> rule7))] Charlie is round.[(((triple1 ((triple1 triple2 ((triple3 triple4) -> rule2)) -> rule6) ((triple3 triple4) -> rule2)) -> rule4))]
Charlie is big.
("Charlie" "is" "big" "+")
triple4
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Charlie is red.
("Charlie" "is" "red" "+")
triple2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple1
Eric is kind.
("Eric" "is" "kind" "+")
triple5
Gary is blue.
("Gary" "is" "blue" "+")
triple7
Gary is red.
("Gary" "is" "red" "+")
triple6
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple3 triple4) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
((triple1 triple2 ((triple3 triple4) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
((((triple1 triple2 ((triple3 triple4) -> (rule2 % int3))) -> (rule6 % int2)) triple3) -> (rule7 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
((triple1 ((triple1 triple2 ((triple3 triple4) -> (rule2 % int3))) -> (rule6 % int2)) ((triple3 triple4) -> (rule2 % int3))) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is a rough man with a big heart who has red hair and a nice smile.
Eric always goes out of his way to show that he is kind to people.
Gary looks red to most people, with blue features.
A round and nice person will certainly have a red tint to them.
Nice people who are big are always feeling blue.
Incredible as it may seem, young people who are red and have kind attitudes are always round.
If someone is blue, young, and rough, they qualify as being round.
A person who exhibits nice, kind and cold characteristics will also be a rough person.
People with rough red and blue skin are young.
Young and nice people are ultimately cold.