Alan is young and nice, but when he's feeling blue, he can also be quite cold to people. Being young, Charlie is still green and blue. That guy Eric is big, but he's always kind to little ones. When you talk about Gary, the first thing you notice is his rough and cold demeanor and then when you talk to him you find out how very nice he really is to everyone. Cold and rough people will also surely be round shaped. A person that is cold, blue and nice is also considered to be round. Nice green people and often blue with sadness. A blue and round human being will also be a green human being. A person who is young and cold and green is kind.
Alan is young.
("Alan" "is" "young" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is big.
("Eric" "is" "big" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is cold.
("Gary" "is" "cold" "+")
If someone is cold and rough then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and blue and nice then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If someone is green and nice then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and round then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is green and young and cold then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
Alan is nice.
True
1
proof
[(triple2)]
("Alan" "is" "nice" "+")
triple2
Eric is not big.
False
1
inv-proof
[(triple9)]
("Eric" "is" "big" "-")
triple9
Alan is round.
True
4
proof
[(((triple3 triple4 triple2) -> rule2))]
("Alan" "is" "round" "+")
((triple3 triple4 triple2) -> (rule2 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is not round.
False
4
inv-proof
[(((triple3 triple4 triple2) -> rule2))]
("Alan" "is" "round" "-")
((triple3 triple4 triple2) -> (rule2 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is green.
True
6
proof
[(((triple4 ((triple3 triple4 triple2) -> rule2)) -> rule4))]
("Alan" "is" "green" "+")
((triple4 ((triple3 triple4 triple2) -> (rule2 % int2))) -> (rule4 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is not green.
False
6
inv-proof
[(((triple4 ((triple3 triple4 triple2) -> rule2)) -> rule4))]
("Alan" "is" "green" "-")
((triple4 ((triple3 triple4 triple2) -> (rule2 % int2))) -> (rule4 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is kind.
True
9
proof
[(((((triple4 ((triple3 triple4 triple2) -> rule2)) -> rule4) triple1 triple3) -> rule5))]
("Alan" "is" "kind" "+")
((((triple4 ((triple3 triple4 triple2) -> (rule2 % int3))) -> (rule4 % int2)) triple1 triple3) -> (rule5 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Alan is not kind.
False
9
inv-proof
[(((((triple4 ((triple3 triple4 triple2) -> rule2)) -> rule4) triple1 triple3) -> rule5))]
("Alan" "is" "kind" "-")
((((triple4 ((triple3 triple4 triple2) -> (rule2 % int3))) -> (rule4 % int2)) triple1 triple3) -> (rule5 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Gary is not kind.
Unknown
inv-rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "kind" "-")
Charlie is kind.
Unknown
rconc
[@1: Charlie is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "kind" "+")
Gary is not blue.
Unknown
inv-rconc
[@2: Gary is blue.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Gary" "is" "blue" "-")
Eric is green.
Unknown
rconc
[@2: Eric is green.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("Eric" "is" "green" "+")
Eric is not young.
Unknown
inv-random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "-")
Alan is big.
Unknown
random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "+")
Charlie is not nice.
Unknown
inv-random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
@0: Alan is blue.[(triple4)] Alan is cold.[(triple3)] Alan is nice.[(triple2)] Alan is young.[(triple1)] Charlie is blue.[(triple7)] Charlie is green.[(triple6)] Charlie is young.[(triple5)] Eric is big.[(triple9)] Eric is kind.[(triple8)] Gary is cold.[(triple12)] Gary is nice.[(triple11)] Gary is rough.[(triple10)] @1: Alan is round.[(((triple3 triple4 triple2) -> rule2))] Gary is round.[(((triple12 triple10) -> rule1))] @2: Alan is green.[(((triple4 ((triple3 triple4 triple2) -> rule2)) -> rule4))] @3: Alan is kind.[(((((triple4 ((triple3 triple4 triple2) -> rule2)) -> rule4) triple1 triple3) -> rule5))]
Alan is blue.
("Alan" "is" "blue" "+")
triple4
Alan is cold.
("Alan" "is" "cold" "+")
triple3
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple7
Charlie is green.
("Charlie" "is" "green" "+")
triple6
Charlie is young.
("Charlie" "is" "young" "+")
triple5
Eric is big.
("Eric" "is" "big" "+")
triple9
Eric is kind.
("Eric" "is" "kind" "+")
triple8
Gary is cold.
("Gary" "is" "cold" "+")
triple12
Gary is nice.
("Gary" "is" "nice" "+")
triple11
Gary is rough.
("Gary" "is" "rough" "+")
triple10
Alan is round.
("Alan" "is" "round" "+")
((triple3 triple4 triple2) -> (rule2 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
((triple12 triple10) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
((triple4 ((triple3 triple4 triple2) -> (rule2 % int2))) -> (rule4 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
((((triple4 ((triple3 triple4 triple2) -> (rule2 % int3))) -> (rule4 % int2)) triple1 triple3) -> (rule5 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Alan is young and nice, but when he's feeling blue, he can also be quite cold to people.
Being young, Charlie is still green and blue.
That guy Eric is big, but he's always kind to little ones.
When you talk about Gary, the first thing you notice is his rough and cold demeanor and then when you talk to him you find out how very nice he really is to everyone.
Cold and rough people will also surely be round shaped.
A person that is cold, blue and nice is also considered to be round.
Nice green people and often blue with sadness.
A blue and round human being will also be a green human being.
A person who is young and cold and green is kind.