Charlie 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. That man standing next to you with a big round body goes by the name of Dave. Eric is a rough but very kind and blue person. Gary loves cake which has made him quite round. Because he has been made fun of for quite some time, he has turned rough and cold towards others. A big person who is kind but blue is cold. Someone who has rough nails and blue teeth as well as being kind to adults are often noted to having big fingers. Anyone perceived to be rough, cold and kind will also be nice. A person who is red and green, will also tend to be round shaped and rough.
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is cold.
("Gary" "is" "cold" "+")
If someone is blue and kind and big then they are cold.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and blue and kind then they are big.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and cold and kind then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and green and red then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
Eric is kind.
True
1
proof
[(triple6)]
("Eric" "is" "kind" "+")
triple6
Dave is not round.
False
1
inv-proof
[(triple3)]
("Dave" "is" "round" "-")
triple3
Eric is big.
True
4
proof
[(((triple5 triple7 triple6) -> rule2))]
("Eric" "is" "big" "+")
((triple5 triple7 triple6) -> (rule2 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is not big.
False
4
inv-proof
[(((triple5 triple7 triple6) -> rule2))]
("Eric" "is" "big" "-")
((triple5 triple7 triple6) -> (rule2 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is cold.
True
7
proof
[(((triple7 triple6 ((triple5 triple7 triple6) -> rule2)) -> rule1))]
("Eric" "is" "cold" "+")
((triple7 triple6 ((triple5 triple7 triple6) -> (rule2 % int2))) -> (rule1 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is not cold.
False
7
inv-proof
[(((triple7 triple6 ((triple5 triple7 triple6) -> rule2)) -> rule1))]
("Eric" "is" "cold" "-")
((triple7 triple6 ((triple5 triple7 triple6) -> (rule2 % int2))) -> (rule1 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is nice.
True
10
proof
[(((triple5 ((triple7 triple6 ((triple5 triple7 triple6) -> rule2)) -> rule1) triple6) -> rule3))]
("Eric" "is" "nice" "+")
((triple5 ((triple7 triple6 ((triple5 triple7 triple6) -> (rule2 % int3))) -> (rule1 % int2)) triple6) -> (rule3 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is not nice.
False
10
inv-proof
[(((triple5 ((triple7 triple6 ((triple5 triple7 triple6) -> rule2)) -> rule1) triple6) -> rule3))]
("Eric" "is" "nice" "-")
((triple5 ((triple7 triple6 ((triple5 triple7 triple6) -> (rule2 % int3))) -> (rule1 % int2)) triple6) -> (rule3 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Dave is not rough.
Unknown
inv-rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "rough" "-")
Charlie is nice.
Unknown
rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "nice" "+")
Charlie is not cold.
Unknown
inv-rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "cold" "-")
Dave is nice.
Unknown
rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "nice" "+")
Eric is not young.
Unknown
inv-random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "-")
Eric is green.
Unknown
random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "+")
Dave is not young.
Unknown
inv-random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
@0: Charlie is blue.[(triple2)] Charlie is rough.[(triple1)] Dave is big.[(triple4)] Dave is round.[(triple3)] Eric is blue.[(triple7)] Eric is kind.[(triple6)] Eric is rough.[(triple5)] Gary is cold.[(triple10)] Gary is rough.[(triple9)] Gary is round.[(triple8)] @1: Eric is big.[(((triple5 triple7 triple6) -> rule2))] @2: Eric is cold.[(((triple7 triple6 ((triple5 triple7 triple6) -> rule2)) -> rule1))] @3: Eric is nice.[(((triple5 ((triple7 triple6 ((triple5 triple7 triple6) -> rule2)) -> rule1) triple6) -> rule3))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple4
Dave is round.
("Dave" "is" "round" "+")
triple3
Eric is blue.
("Eric" "is" "blue" "+")
triple7
Eric is kind.
("Eric" "is" "kind" "+")
triple6
Eric is rough.
("Eric" "is" "rough" "+")
triple5
Gary is cold.
("Gary" "is" "cold" "+")
triple10
Gary is rough.
("Gary" "is" "rough" "+")
triple9
Gary is round.
("Gary" "is" "round" "+")
triple8
Eric is big.
("Eric" "is" "big" "+")
((triple5 triple7 triple6) -> (rule2 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
((triple7 triple6 ((triple5 triple7 triple6) -> (rule2 % int2))) -> (rule1 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
((triple5 ((triple7 triple6 ((triple5 triple7 triple6) -> (rule2 % int3))) -> (rule1 % int2)) triple6) -> (rule3 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Charlie 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.
That man standing next to you with a big round body goes by the name of Dave.
Eric is a rough but very kind and blue person.
Gary loves cake which has made him quite round; Because he has been made fun of for quite some time, he has turned rough and cold towards others.
A big person who is kind but blue is cold.
Someone who has rough nails and blue teeth as well as being kind to adults are often noted to having big fingers.
Anyone perceived to be rough, cold and kind will also be nice.
A person who is red and green, will also tend to be round shaped and rough.