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.
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is cold.
("Harry" "is" "cold" "+")
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.