Charlie is big and round. Because of how young and green he is, Charlie is still kind. Red Dave is what folks call him, because he is quite red. Gary has a round face and is very nice. Red Harry is what folks call him, because he is quite red. Being round and nice automatically means a person is kind. Big people who are round in stature and also feel rough are often cold to other people. Any big, kind person that turns red is cold to the touch. People who are round and young are also very nice. A nice and kind natured person that is big in shape will be rough. People with rough red and blue skin are young.
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Dave is red.
("Dave" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Harry is red.
("Harry" "is" "red" "+")
If someone is round and nice then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If someone is big and rough and round then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and big and kind then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is round and young then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and big and kind then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("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" "+"))
Harry is red.
True
1
proof
[(triple9)]
("Harry" "is" "red" "+")
triple9
Gary is not round.
False
1
inv-proof
[(triple7)]
("Gary" "is" "round" "-")
triple7
Gary is kind.
True
3
proof
[(((triple7 triple8) -> rule1))]
("Gary" "is" "kind" "+")
((triple7 triple8) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Charlie is not nice.
False
3
inv-proof
[(((triple2 triple1) -> rule4))]
("Charlie" "is" "nice" "-")
((triple2 triple1) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
True
6
proof
[(((((triple2 triple1) -> rule4) triple5 triple3) -> rule5) OR ((((triple2 triple1) -> rule4) triple5 ((triple2 ((triple2 triple1) -> rule4)) -> rule1)) -> rule5))]
("Charlie" "is" "rough" "+")
((((triple2 triple1) -> (rule4 % int2)) triple5 triple3) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((((triple2 triple1) -> (rule4 % int3)) triple5 ((triple2 ((triple2 triple1) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is not rough.
False
6
inv-proof
[(((((triple2 triple1) -> rule4) triple5 triple3) -> rule5) OR ((((triple2 triple1) -> rule4) triple5 ((triple2 ((triple2 triple1) -> rule4)) -> rule1)) -> rule5))]
("Charlie" "is" "rough" "-")
((((triple2 triple1) -> (rule4 % int2)) triple5 triple3) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((((triple2 triple1) -> (rule4 % int3)) triple5 ((triple2 ((triple2 triple1) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is cold.
True
9
proof
[(((triple5 ((((triple2 triple1) -> rule4) triple5 triple3) -> rule5) triple2) -> rule2) OR ((triple5 ((((triple2 triple1) -> rule4) triple5 ((triple2 ((triple2 triple1) -> rule4)) -> rule1)) -> rule5) triple2) -> rule2))]
("Charlie" "is" "cold" "+")
((triple5 ((((triple2 triple1) -> (rule4 % int3)) triple5 triple3) -> (rule5 % int2)) triple2) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((triple5 ((((triple2 triple1) -> (rule4 % int4)) triple5 ((triple2 ((triple2 triple1) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) triple2) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Charlie is not cold.
False
9
inv-proof
[(((triple5 ((((triple2 triple1) -> rule4) triple5 triple3) -> rule5) triple2) -> rule2) OR ((triple5 ((((triple2 triple1) -> rule4) triple5 ((triple2 ((triple2 triple1) -> rule4)) -> rule1)) -> rule5) triple2) -> rule2))]
("Charlie" "is" "cold" "-")
((triple5 ((((triple2 triple1) -> (rule4 % int3)) triple5 triple3) -> (rule5 % int2)) triple2) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((triple5 ((((triple2 triple1) -> (rule4 % int4)) triple5 ((triple2 ((triple2 triple1) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) triple2) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Harry is not young.
Unknown
inv-rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "young" "-")
Harry is kind.
Unknown
rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "kind" "+")
Gary is not rough.
Unknown
inv-rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "rough" "-")
Dave is nice.
Unknown
rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "nice" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
Harry is not big.
Unknown
inv-random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "-")
Dave is blue.
Unknown
random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "+")
@0: Charlie is big.[(triple5)] Charlie is green.[(triple4)] Charlie is kind.[(triple3 OR ((triple2 ((triple2 triple1) -> rule4)) -> rule1))] Charlie is round.[(triple2)] Charlie is young.[(triple1)] Dave is red.[(triple6)] Gary is nice.[(triple8)] Gary is round.[(triple7)] Harry is red.[(triple9)] @1: Charlie is nice.[(((triple2 triple1) -> rule4))] Gary is kind.[(((triple7 triple8) -> rule1))] @2: Charlie is rough.[(((((triple2 triple1) -> rule4) triple5 triple3) -> rule5) OR ((((triple2 triple1) -> rule4) triple5 ((triple2 ((triple2 triple1) -> rule4)) -> rule1)) -> rule5))] @3: Charlie is cold.[(((triple5 ((((triple2 triple1) -> rule4) triple5 triple3) -> rule5) triple2) -> rule2) OR ((triple5 ((((triple2 triple1) -> rule4) triple5 ((triple2 ((triple2 triple1) -> rule4)) -> rule1)) -> rule5) triple2) -> rule2))]
Charlie is big.
("Charlie" "is" "big" "+")
triple5
Charlie is green.
("Charlie" "is" "green" "+")
triple4
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
((triple2 ((triple2 triple1) -> (rule4 % int2))) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple1
Dave is red.
("Dave" "is" "red" "+")
triple6
Gary is nice.
("Gary" "is" "nice" "+")
triple8
Gary is round.
("Gary" "is" "round" "+")
triple7
Harry is red.
("Harry" "is" "red" "+")
triple9
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple2 triple1) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
((triple7 triple8) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
((((triple2 triple1) -> (rule4 % int2)) triple5 triple3) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((((triple2 triple1) -> (rule4 % int3)) triple5 ((triple2 ((triple2 triple1) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple5 ((((triple2 triple1) -> (rule4 % int3)) triple5 triple3) -> (rule5 % int2)) triple2) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((triple5 ((((triple2 triple1) -> (rule4 % int4)) triple5 ((triple2 ((triple2 triple1) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) triple2) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Charlie is big and round; Because of how young and green he is, Charlie is still kind.
Red Dave is what folks call him, because he is quite red.
Gary has a round face and is very nice.
Red Harry is what folks call him, because he is quite red.
Being round and nice automatically means a person is kind.
Big people who are round in stature and also feel rough are often cold to other people.
Any big, kind person that turns red is cold to the touch.
People who are round and young are also very nice.
A nice and kind natured person that is big in shape will be rough.
People with rough red and blue skin are young.