When you see Charlie, you will notice he is cold, big and kind. Fred is a nice person who is red because he has a rash. Gary's a young guy who is big, red and round. Additionally, he's both kind and cold. In the snow sits Harry, crying from being cold. If someone has a red complexion that is rough and feels blue then you'll see they are rather nice. A kind person who is big in size is definitely young. A big kind person that is red is almost always nice. A young person with cold, rough skin will be red as well. Get a rather green person who is both nice, but cold to others, then they are certain to be round. Young people are rough.
If someone is red and rough and blue then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and big then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is kind and red and big then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and rough and cold then they are red.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and green and cold then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is young then they are rough.
((("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
Gary is kind.
True
1
proof
[(triple9)]
("Gary" "is" "kind" "+")
triple9
Gary is not young.
False
1
inv-proof
[(triple6 OR ((triple9 triple11) -> rule2))]
("Gary" "is" "young" "-")
triple6
((triple9 triple11) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is nice.
True
4
proof
[(((triple9 triple8 triple11) -> rule3) OR ((triple9 ((triple6 ((triple6) -> rule6) triple10) -> rule4) triple11) -> rule3) OR ((triple9 ((((triple9 triple11) -> rule2) ((triple6) -> rule6) triple10) -> rule4) triple11) -> rule3) OR ((triple9 ((triple6 ((((triple9 triple11) -> rule2)) -> rule6) triple10) -> rule4) triple11) -> rule3) OR ((triple9 ((((triple9 triple11) -> rule2) ((((triple9 triple11) -> rule2)) -> rule6) triple10) -> rule4) triple11) -> rule3))]
("Gary" "is" "nice" "+")
((triple9 triple8 triple11) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
((triple9 ((triple6 ((triple6) -> (rule6 % int3)) triple10) -> (rule4 % int2)) triple11) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((triple9 ((((triple9 triple11) -> (rule2 % int4)) ((triple6) -> (rule6 % int3)) triple10) -> (rule4 % int2)) triple11) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
((triple9 ((triple6 ((((triple9 triple11) -> (rule2 % int4))) -> (rule6 % int3)) triple10) -> (rule4 % int2)) triple11) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
((triple9 ((((triple9 triple11) -> (rule2 % int4)) ((((triple9 triple11) -> (rule2 % int4))) -> (rule6 % int3)) triple10) -> (rule4 % int2)) triple11) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is not rough.
False
2
inv-proof
[(((triple6) -> rule6) OR ((((triple9 triple11) -> rule2)) -> rule6))]
("Gary" "is" "rough" "-")
((triple6) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
((((triple9 triple11) -> (rule2 % int2))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Charlie is rough.
True
4
proof
[(((((triple1 triple3) -> rule2)) -> rule6))]
("Charlie" "is" "rough" "+")
((((triple1 triple3) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is not rough.
False
4
inv-proof
[(((((triple1 triple3) -> rule2)) -> rule6))]
("Charlie" "is" "rough" "-")
((((triple1 triple3) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is red.
True
9
proof
[(((((triple1 triple3) -> rule2) ((((triple1 triple3) -> rule2)) -> rule6) triple2) -> rule4))]
("Charlie" "is" "red" "+")
((((triple1 triple3) -> (rule2 % int3)) ((((triple1 triple3) -> (rule2 % int3))) -> (rule6 % int2)) triple2) -> (rule4 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is not red.
False
9
inv-proof
[(((((triple1 triple3) -> rule2) ((((triple1 triple3) -> rule2)) -> rule6) triple2) -> rule4))]
("Charlie" "is" "red" "-")
((((triple1 triple3) -> (rule2 % int3)) ((((triple1 triple3) -> (rule2 % int3))) -> (rule6 % int2)) triple2) -> (rule4 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is nice.
True
12
proof
[(((triple1 ((((triple1 triple3) -> rule2) ((((triple1 triple3) -> rule2)) -> rule6) triple2) -> rule4) triple3) -> rule3))]
("Charlie" "is" "nice" "+")
((triple1 ((((triple1 triple3) -> (rule2 % int4)) ((((triple1 triple3) -> (rule2 % int4))) -> (rule6 % int3)) triple2) -> (rule4 % int2)) triple3) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is not nice.
False
12
inv-proof
[(((triple1 ((((triple1 triple3) -> rule2) ((((triple1 triple3) -> rule2)) -> rule6) triple2) -> rule4) triple3) -> rule3))]
("Charlie" "is" "nice" "-")
((triple1 ((((triple1 triple3) -> (rule2 % int4)) ((((triple1 triple3) -> (rule2 % int4))) -> (rule6 % int3)) triple2) -> (rule4 % int2)) triple3) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Fred is not rough.
Unknown
inv-rconc
[@2: Fred is rough.[CWA. Example of deepest failure = (rule6 <- rule2 <- FAIL)]]
("Fred" "is" "rough" "-")
Harry is round.
Unknown
rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "round" "+")
Charlie is not round.
Unknown
inv-rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "round" "-")
Harry is rough.
Unknown
rconc
[@2: Harry is rough.[CWA. Example of deepest failure = (rule6 <- rule2 <- FAIL)]]
("Harry" "is" "rough" "+")
Harry is not young.
Unknown
inv-rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "young" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Fred is green.
Unknown
random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "+")
Fred is not cold.
Unknown
inv-random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
@0: Charlie is big.[(triple3)] Charlie is cold.[(triple2)] Charlie is kind.[(triple1)] Fred is nice.[(triple5)] Fred is red.[(triple4)] Gary is big.[(triple11)] Gary is cold.[(triple10)] Gary is kind.[(triple9)] Gary is red.[(triple8 OR ((triple6 ((triple6) -> rule6) triple10) -> rule4) OR ((((triple9 triple11) -> rule2) ((triple6) -> rule6) triple10) -> rule4) OR ((triple6 ((((triple9 triple11) -> rule2)) -> rule6) triple10) -> rule4) OR ((((triple9 triple11) -> rule2) ((((triple9 triple11) -> rule2)) -> rule6) triple10) -> rule4))] Gary is round.[(triple7)] Gary is young.[(triple6 OR ((triple9 triple11) -> rule2))] Harry is cold.[(triple12)] @1: Charlie is young.[(((triple1 triple3) -> rule2))] Gary is nice.[(((triple9 triple8 triple11) -> rule3) OR ((triple9 ((triple6 ((triple6) -> rule6) triple10) -> rule4) triple11) -> rule3) OR ((triple9 ((((triple9 triple11) -> rule2) ((triple6) -> rule6) triple10) -> rule4) triple11) -> rule3) OR ((triple9 ((triple6 ((((triple9 triple11) -> rule2)) -> rule6) triple10) -> rule4) triple11) -> rule3) OR ((triple9 ((((triple9 triple11) -> rule2) ((((triple9 triple11) -> rule2)) -> rule6) triple10) -> rule4) triple11) -> rule3))] Gary is rough.[(((triple6) -> rule6) OR ((((triple9 triple11) -> rule2)) -> rule6))] @2: Charlie is rough.[(((((triple1 triple3) -> rule2)) -> rule6))] @3: Charlie is red.[(((((triple1 triple3) -> rule2) ((((triple1 triple3) -> rule2)) -> rule6) triple2) -> rule4))] @4: Charlie is nice.[(((triple1 ((((triple1 triple3) -> rule2) ((((triple1 triple3) -> rule2)) -> rule6) triple2) -> rule4) triple3) -> rule3))]
Charlie is big.
("Charlie" "is" "big" "+")
triple3
Charlie is cold.
("Charlie" "is" "cold" "+")
triple2
Charlie is kind.
("Charlie" "is" "kind" "+")
triple1
Fred is nice.
("Fred" "is" "nice" "+")
triple5
Fred is red.
("Fred" "is" "red" "+")
triple4
Gary is big.
("Gary" "is" "big" "+")
triple11
Gary is cold.
("Gary" "is" "cold" "+")
triple10
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Gary is red.
("Gary" "is" "red" "+")
triple8
((triple6 ((triple6) -> (rule6 % int2)) triple10) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
((((triple9 triple11) -> (rule2 % int3)) ((triple6) -> (rule6 % int2)) triple10) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((triple6 ((((triple9 triple11) -> (rule2 % int3))) -> (rule6 % int2)) triple10) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((((triple9 triple11) -> (rule2 % int3)) ((((triple9 triple11) -> (rule2 % int3))) -> (rule6 % int2)) triple10) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
triple7
Gary is young.
("Gary" "is" "young" "+")
triple6
((triple9 triple11) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
triple12
Charlie is young.
("Charlie" "is" "young" "+")
((triple1 triple3) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple9 triple8 triple11) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
((triple9 ((triple6 ((triple6) -> (rule6 % int3)) triple10) -> (rule4 % int2)) triple11) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((triple9 ((((triple9 triple11) -> (rule2 % int4)) ((triple6) -> (rule6 % int3)) triple10) -> (rule4 % int2)) triple11) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
((triple9 ((triple6 ((((triple9 triple11) -> (rule2 % int4))) -> (rule6 % int3)) triple10) -> (rule4 % int2)) triple11) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
((triple9 ((((triple9 triple11) -> (rule2 % int4)) ((((triple9 triple11) -> (rule2 % int4))) -> (rule6 % int3)) triple10) -> (rule4 % int2)) triple11) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
((triple6) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
((((triple9 triple11) -> (rule2 % int2))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
((((triple1 triple3) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
((((triple1 triple3) -> (rule2 % int3)) ((((triple1 triple3) -> (rule2 % int3))) -> (rule6 % int2)) triple2) -> (rule4 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple1 ((((triple1 triple3) -> (rule2 % int4)) ((((triple1 triple3) -> (rule2 % int4))) -> (rule6 % int3)) triple2) -> (rule4 % int2)) triple3) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
When you see Charlie, you will notice he is cold, big and kind.
Fred is a nice person who is red because he has a rash.
Gary's a young guy who is big, red and round; Additionally, he's both kind and cold.
In the snow sits Harry, crying from being cold.
If someone has a red complexion that is rough and feels blue then you'll see they are rather nice.
A kind person who is big in size is definitely young.
A big kind person that is red is almost always nice.
A young person with cold, rough skin will be red as well.
Get a rather green person who is both nice, but cold to others, then they are certain to be round.
Young people are rough.