Alan has a round face and is very nice. People think that Fred is round. This might be because he is young and blue. Gary is young and big in stature.  He is cold but nice. Harry, a green man, was also big, but underneath he was kind. This person is nice and young, also round, which makes them cold. When a kind person is feeling cold with red skin, they will be round as well. If you can find someone who is nice and red, then be relieved that they are certain to be kind. A person wearing blue clothes and feeling cold very frequently because of their large round body will have green skin. A big and round shaped, blue person will be cold for sure. Someone who is cold and big is also a red person. A big, blue and cold person will also be a round person.
Alan is round.
("Alan" "is" "round" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is big.
("Harry" "is" "big" "+")
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 kind and red then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and red then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and blue and round then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is round and blue and big then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and cold then they are red.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is big and cold and blue then they are round.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
Harry is big.
True
1
proof
[(triple12)]
("Harry" "is" "big" "+")
triple12
Fred is not round.
False
1
inv-proof
[(triple4)]
("Fred" "is" "round" "-")
triple4
Gary is red.
True
3
proof
[(((triple9 triple8) -> rule6))]
("Gary" "is" "red" "+")
((triple9 triple8) -> (rule6 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is not red.
False
3
inv-proof
[(((triple9 triple8) -> rule6))]
("Gary" "is" "red" "-")
((triple9 triple8) -> (rule6 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is kind.
True
5
proof
[(((triple7 ((triple9 triple8) -> rule6)) -> rule3))]
("Gary" "is" "kind" "+")
((triple7 ((triple9 triple8) -> (rule6 % int2))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is not kind.
False
5
inv-proof
[(((triple7 ((triple9 triple8) -> rule6)) -> rule3))]
("Gary" "is" "kind" "-")
((triple7 ((triple9 triple8) -> (rule6 % int2))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is round.
True
10
proof
[(((triple8 ((triple7 ((triple9 triple8) -> rule6)) -> rule3) ((triple9 triple8) -> rule6)) -> rule2))]
("Gary" "is" "round" "+")
((triple8 ((triple7 ((triple9 triple8) -> (rule6 % int3))) -> (rule3 % int2)) ((triple9 triple8) -> (rule6 % int3))) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is not round.
False
10
inv-proof
[(((triple8 ((triple7 ((triple9 triple8) -> rule6)) -> rule3) ((triple9 triple8) -> rule6)) -> rule2))]
("Gary" "is" "round" "-")
((triple8 ((triple7 ((triple9 triple8) -> (rule6 % int3))) -> (rule3 % int2)) ((triple9 triple8) -> (rule6 % int3))) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is not green.
Unknown
inv-rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "green" "-")
Fred is red.
Unknown
rconc
[@1: Fred is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fred" "is" "red" "+")
Alan is not red.
Unknown
inv-rconc
[@1: Alan is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Alan" "is" "red" "-")
Harry is cold.
Unknown
rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "cold" "+")
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Fred is rough.
Unknown
random
[@0: Fred is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "rough" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
@0: Alan is nice.[(triple2)] Alan is round.[(triple1)] Fred is blue.[(triple5)] Fred is round.[(triple4)] Fred is young.[(triple3)] Gary is big.[(triple9)] Gary is cold.[(triple8)] Gary is nice.[(triple7)] Gary is young.[(triple6)] Harry is big.[(triple12)] Harry is green.[(triple11)] Harry is kind.[(triple10)] @1: Gary is red.[(((triple9 triple8) -> rule6))] @2: Gary is kind.[(((triple7 ((triple9 triple8) -> rule6)) -> rule3))] @3: Gary is round.[(((triple8 ((triple7 ((triple9 triple8) -> rule6)) -> rule3) ((triple9 triple8) -> rule6)) -> rule2))]
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Fred is blue.
("Fred" "is" "blue" "+")
triple5
Fred is round.
("Fred" "is" "round" "+")
triple4
Fred is young.
("Fred" "is" "young" "+")
triple3
Gary is big.
("Gary" "is" "big" "+")
triple9
Gary is cold.
("Gary" "is" "cold" "+")
triple8
Gary is nice.
("Gary" "is" "nice" "+")
triple7
Gary is young.
("Gary" "is" "young" "+")
triple6
Harry is big.
("Harry" "is" "big" "+")
triple12
Harry is green.
("Harry" "is" "green" "+")
triple11
Harry is kind.
("Harry" "is" "kind" "+")
triple10
Gary is red.
("Gary" "is" "red" "+")
((triple9 triple8) -> (rule6 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
((triple7 ((triple9 triple8) -> (rule6 % int2))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
((triple8 ((triple7 ((triple9 triple8) -> (rule6 % int3))) -> (rule3 % int2)) ((triple9 triple8) -> (rule6 % int3))) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Alan has a round face and is very nice.
People think that Fred is round; This might be because he is young and blue.
Gary is young and big in stature; He is cold but nice.
Harry, a green man, was also big, but underneath he was kind.
This person is nice and young, also round, which makes them cold.
When a kind person is feeling cold with red skin, they will be round as well.
If you can find someone who is nice and red, then be relieved that they are certain to be kind.
A person wearing blue clothes and feeling cold very frequently because of their large round body will have green skin.
A big and round shaped, blue person will be cold for sure.
Someone who is cold and big is also a red person.
A big, blue and cold person will also be a round person.