Alan always goes out of his way to show that he is kind to people. Young Gary who is nice and kind is feeling red, green and blue today. People that tend to be big and green also tend to be cold. Anyone that is a red, nice soul will be big, too. Anyone that's rough and cold is also going to be blue. When you meet someone with cold, rough skin and a round figure they will be nice. Anyone who is round and also cold will surely be big as well. People that are blue, cold, and big, are rather rough.
Alan is kind.
("Alan" "is" "kind" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is big and green then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and nice then they are big.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and rough then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and cold and round then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and cold then they are big.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and cold and big then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
Gary is green.
True
1
proof
[(triple6)]
("Gary" "is" "green" "+")
triple6
Gary is not red.
False
1
inv-proof
[(triple3)]
("Gary" "is" "red" "-")
triple3
Gary is big.
True
3
proof
[(((triple3 triple4) -> rule2))]
("Gary" "is" "big" "+")
((triple3 triple4) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is not big.
False
3
inv-proof
[(((triple3 triple4) -> rule2))]
("Gary" "is" "big" "-")
((triple3 triple4) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
True
5
proof
[(((((triple3 triple4) -> rule2) triple6) -> rule1))]
("Gary" "is" "cold" "+")
((((triple3 triple4) -> (rule2 % int2)) triple6) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is not cold.
False
5
inv-proof
[(((((triple3 triple4) -> rule2) triple6) -> rule1))]
("Gary" "is" "cold" "-")
((((triple3 triple4) -> (rule2 % int2)) triple6) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is rough.
True
10
proof
[(((triple7 ((((triple3 triple4) -> rule2) triple6) -> rule1) ((triple3 triple4) -> rule2)) -> rule6))]
("Gary" "is" "rough" "+")
((triple7 ((((triple3 triple4) -> (rule2 % int3)) triple6) -> (rule1 % int2)) ((triple3 triple4) -> (rule2 % int3))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is not rough.
False
10
inv-proof
[(((triple7 ((((triple3 triple4) -> rule2) triple6) -> rule1) ((triple3 triple4) -> rule2)) -> rule6))]
("Gary" "is" "rough" "-")
((triple7 ((((triple3 triple4) -> (rule2 % int3)) triple6) -> (rule1 % int2)) ((triple3 triple4) -> (rule2 % int3))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Alan is not cold.
Unknown
inv-rconc
[@1: Alan is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "cold" "-")
Fred is nice.
Unknown
rconc
[@1: Fred is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "nice" "+")
Alan is not blue.
Unknown
inv-rconc
[@2: Alan is blue.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Alan" "is" "blue" "-")
Alan is rough.
Unknown
rconc
[@2: Alan is rough.[CWA. Example of deepest failure = (rule6 <- rule3 <- FAIL)]]
("Alan" "is" "rough" "+")
Alan is not green.
Unknown
inv-random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "-")
Fred is green.
Unknown
random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "+")
Eric is not young.
Unknown
inv-random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "-")
Fred is kind.
Unknown
random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "+")
@0: Alan is kind.[(triple1)] Gary is blue.[(triple7)] Gary is green.[(triple6)] Gary is kind.[(triple5)] Gary is nice.[(triple4)] Gary is red.[(triple3)] Gary is young.[(triple2)] @1: Gary is big.[(((triple3 triple4) -> rule2))] @2: Gary is cold.[(((((triple3 triple4) -> rule2) triple6) -> rule1))] @3: Gary is rough.[(((triple7 ((((triple3 triple4) -> rule2) triple6) -> rule1) ((triple3 triple4) -> rule2)) -> rule6))]
Alan is kind.
("Alan" "is" "kind" "+")
triple1
Gary is blue.
("Gary" "is" "blue" "+")
triple7
Gary is green.
("Gary" "is" "green" "+")
triple6
Gary is kind.
("Gary" "is" "kind" "+")
triple5
Gary is nice.
("Gary" "is" "nice" "+")
triple4
Gary is red.
("Gary" "is" "red" "+")
triple3
Gary is young.
("Gary" "is" "young" "+")
triple2
Gary is big.
("Gary" "is" "big" "+")
((triple3 triple4) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((((triple3 triple4) -> (rule2 % int2)) triple6) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
((triple7 ((((triple3 triple4) -> (rule2 % int3)) triple6) -> (rule1 % int2)) ((triple3 triple4) -> (rule2 % int3))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Alan always goes out of his way to show that he is kind to people.
Young Gary who is nice and kind is feeling red, green and blue today.
People that tend to be big and green also tend to be cold.
Anyone that is a red, nice soul will be big, too.
Anyone that's rough and cold is also going to be blue.
When you meet someone with cold, rough skin and a round figure they will be nice.
Anyone who is round and also cold will surely be big as well.
People that are blue, cold, and big, are rather rough.