Charlie is a nice, kind young man that is feeling rather blue -- he is also green. Big, round Eric is cold and very green. Red Gary is what folks call him, because he is quite red. Harry grew up in a family with six other boys and that make him a rough guy.  Right now he's feeling blue because his dog is sick. A kind, round person will surely be red as well. A young aged and blue colored person will certainly be round. This person is nice and young, also round, which makes them cold. Cold people,though green and red,tend to be rough. Round people who feel rough also always feel cold,. If the person is big and cold then as a rule they must be green. A green and red colored person who has a nice temperament will be cold.
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is big.
("Eric" "is" "big" "+")
Gary is red.
("Gary" "is" "red" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is kind and round then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is young and blue then they are round.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is young and nice and round then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and green and red then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and rough then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and cold then they are green.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is green and nice and red then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
Eric is round.
True
1
proof
[(triple6)]
("Eric" "is" "round" "+")
triple6
Charlie is not green.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "green" "-")
triple4
Charlie is round.
True
3
proof
[(((triple1 triple5) -> rule2))]
("Charlie" "is" "round" "+")
((triple1 triple5) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is not round.
False
3
inv-proof
[(((triple1 triple5) -> rule2))]
("Charlie" "is" "round" "-")
((triple1 triple5) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is cold.
True
6
proof
[(((triple1 triple2 ((triple1 triple5) -> rule2)) -> rule3) OR ((triple4 triple2 ((triple3 ((triple1 triple5) -> rule2)) -> rule1)) -> rule7))]
("Charlie" "is" "cold" "+")
((triple1 triple2 ((triple1 triple5) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((triple4 triple2 ((triple3 ((triple1 triple5) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is not red.
False
5
inv-proof
[(((triple3 ((triple1 triple5) -> rule2)) -> rule1))]
("Charlie" "is" "red" "-")
((triple3 ((triple1 triple5) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is rough.
True
13
proof
[(((((triple1 triple2 ((triple1 triple5) -> rule2)) -> rule3) triple4 ((triple3 ((triple1 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((triple4 triple2 ((triple3 ((triple1 triple5) -> rule2)) -> rule1)) -> rule7) triple4 ((triple3 ((triple1 triple5) -> rule2)) -> rule1)) -> rule4))]
("Charlie" "is" "rough" "+")
((((triple1 triple2 ((triple1 triple5) -> (rule2 % int4))) -> (rule3 % int3)) triple4 ((triple3 ((triple1 triple5) -> (rule2 % int4))) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple4 triple2 ((triple3 ((triple1 triple5) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule7 % int2)) triple4 ((triple3 ((triple1 triple5) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is not rough.
False
13
inv-proof
[(((((triple1 triple2 ((triple1 triple5) -> rule2)) -> rule3) triple4 ((triple3 ((triple1 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((triple4 triple2 ((triple3 ((triple1 triple5) -> rule2)) -> rule1)) -> rule7) triple4 ((triple3 ((triple1 triple5) -> rule2)) -> rule1)) -> rule4))]
("Charlie" "is" "rough" "-")
((((triple1 triple2 ((triple1 triple5) -> (rule2 % int4))) -> (rule3 % int3)) triple4 ((triple3 ((triple1 triple5) -> (rule2 % int4))) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple4 triple2 ((triple3 ((triple1 triple5) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule7 % int2)) triple4 ((triple3 ((triple1 triple5) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Gary is not green.
Unknown
inv-rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "green" "-")
Gary is rough.
Unknown
rconc
[@2: Gary is rough.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("Gary" "is" "rough" "+")
Eric is not rough.
Unknown
inv-rconc
[@2: Eric is rough.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("Eric" "is" "rough" "-")
Gary is round.
Unknown
rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "round" "+")
Eric is not blue.
Unknown
inv-random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "-")
Eric is kind.
Unknown
random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "+")
Harry is not young.
Unknown
inv-random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
@0: Charlie is blue.[(triple5)] Charlie is green.[(triple4)] Charlie is kind.[(triple3)] Charlie is nice.[(triple2)] Charlie is young.[(triple1)] Eric is big.[(triple9)] Eric is cold.[(triple8)] Eric is green.[(triple7 OR ((triple9 triple8) -> rule6))] Eric is round.[(triple6)] Gary is red.[(triple10)] Harry is blue.[(triple12)] Harry is rough.[(triple11)] @1: Charlie is round.[(((triple1 triple5) -> rule2))] @2: Charlie is cold.[(((triple1 triple2 ((triple1 triple5) -> rule2)) -> rule3) OR ((triple4 triple2 ((triple3 ((triple1 triple5) -> rule2)) -> rule1)) -> rule7))] Charlie is red.[(((triple3 ((triple1 triple5) -> rule2)) -> rule1))] @3: Charlie is rough.[(((((triple1 triple2 ((triple1 triple5) -> rule2)) -> rule3) triple4 ((triple3 ((triple1 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((triple4 triple2 ((triple3 ((triple1 triple5) -> rule2)) -> rule1)) -> rule7) triple4 ((triple3 ((triple1 triple5) -> rule2)) -> rule1)) -> rule4))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple5
Charlie is green.
("Charlie" "is" "green" "+")
triple4
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple9
Eric is cold.
("Eric" "is" "cold" "+")
triple8
Eric is green.
("Eric" "is" "green" "+")
triple7
((triple9 triple8) -> (rule6 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
triple6
Gary is red.
("Gary" "is" "red" "+")
triple10
Harry is blue.
("Harry" "is" "blue" "+")
triple12
Harry is rough.
("Harry" "is" "rough" "+")
triple11
Charlie is round.
("Charlie" "is" "round" "+")
((triple1 triple5) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple1 triple2 ((triple1 triple5) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((triple4 triple2 ((triple3 ((triple1 triple5) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
((triple3 ((triple1 triple5) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
((((triple1 triple2 ((triple1 triple5) -> (rule2 % int4))) -> (rule3 % int3)) triple4 ((triple3 ((triple1 triple5) -> (rule2 % int4))) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple4 triple2 ((triple3 ((triple1 triple5) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule7 % int2)) triple4 ((triple3 ((triple1 triple5) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is a nice, kind young man that is feeling rather blue -- he is also green.
Big, round Eric is cold and very green.
Red Gary is what folks call him, because he is quite red.
Harry grew up in a family with six other boys and that make him a rough guy; Right now he's feeling blue because his dog is sick.
A kind, round person will surely be red as well.
A young aged and blue colored person will certainly be round.
This person is nice and young, also round, which makes them cold.
Cold people,though green and red,tend to be rough.
Round people who feel rough also always feel cold,.
If the person is big and cold then as a rule they must be green.
A green and red colored person who has a nice temperament will be cold.