Alan who is considered nice was feeling rather rough today. That guy Charlie is big, but he's always kind to little ones. Dave always goes out of his way to show that he is kind to people. Gary who is is looking green after smelling the trash left out in the hot sun is seeing red from his anger.  Usually though he is described as being a kind and nice person. People who are big and kind are also round. A big round person is nice. A green colored, nice and young person will be big shaped. I see it all the time, nice big people make equal a cold person. When a round individual is nice to others, they are also feeling blue. If you meet a young and kind person who is also rough, they are cold, too.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is green.
("Gary" "is" "green" "+")
If someone is kind and big then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is round and big then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and green and nice then they are big.
((("someone" "is" "young" "+") ("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and big then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is round and nice then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and young and kind then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
Alan is rough.
True
1
proof
[(triple1)]
("Alan" "is" "rough" "+")
triple1
Alan is not nice.
False
1
inv-proof
[(triple2)]
("Alan" "is" "nice" "-")
triple2
Charlie is round.
True
3
proof
[(((triple3 triple4) -> rule1))]
("Charlie" "is" "round" "+")
((triple3 triple4) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is not round.
False
3
inv-proof
[(((triple3 triple4) -> rule1))]
("Charlie" "is" "round" "-")
((triple3 triple4) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is nice.
True
5
proof
[(((((triple3 triple4) -> rule1) triple4) -> rule2))]
("Charlie" "is" "nice" "+")
((((triple3 triple4) -> (rule1 % int2)) triple4) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is not nice.
False
5
inv-proof
[(((((triple3 triple4) -> rule1) triple4) -> rule2))]
("Charlie" "is" "nice" "-")
((((triple3 triple4) -> (rule1 % int2)) triple4) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is blue.
True
9
proof
[(((((triple3 triple4) -> rule1) ((((triple3 triple4) -> rule1) triple4) -> rule2)) -> rule5))]
("Charlie" "is" "blue" "+")
((((triple3 triple4) -> (rule1 % int3)) ((((triple3 triple4) -> (rule1 % int3)) triple4) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is not cold.
False
7
inv-proof
[(((((((triple3 triple4) -> rule1) triple4) -> rule2) triple4) -> rule4))]
("Charlie" "is" "cold" "-")
((((((triple3 triple4) -> (rule1 % int3)) triple4) -> (rule2 % int2)) triple4) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Dave is not nice.
Unknown
inv-rconc
[@2: Dave is nice.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Dave" "is" "nice" "-")
Alan is cold.
Unknown
rconc
[@2: Alan is cold.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("Alan" "is" "cold" "+")
Alan is not blue.
Unknown
inv-rconc
[@2: Alan is blue.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Alan" "is" "blue" "-")
Gary is cold.
Unknown
rconc
[@2: Gary is cold.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("Gary" "is" "cold" "+")
Dave is not rough.
Unknown
inv-random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
Charlie is not young.
Unknown
inv-random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "-")
Alan is red.
Unknown
random
[@0: Alan is red.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "red" "+")
@0: Alan is nice.[(triple2)] Alan is rough.[(triple1)] Charlie is big.[(triple4)] Charlie is kind.[(triple3)] Dave is kind.[(triple5)] Gary is green.[(triple9)] Gary is kind.[(triple8)] Gary is nice.[(triple7)] Gary is red.[(triple6)] @1: Charlie is round.[(((triple3 triple4) -> rule1))] @2: Charlie is nice.[(((((triple3 triple4) -> rule1) triple4) -> rule2))] @3: Charlie is blue.[(((((triple3 triple4) -> rule1) ((((triple3 triple4) -> rule1) triple4) -> rule2)) -> rule5))] Charlie is cold.[(((((((triple3 triple4) -> rule1) triple4) -> rule2) triple4) -> rule4))]
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple4
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
Dave is kind.
("Dave" "is" "kind" "+")
triple5
Gary is green.
("Gary" "is" "green" "+")
triple9
Gary is kind.
("Gary" "is" "kind" "+")
triple8
Gary is nice.
("Gary" "is" "nice" "+")
triple7
Gary is red.
("Gary" "is" "red" "+")
triple6
Charlie is round.
("Charlie" "is" "round" "+")
((triple3 triple4) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
((((triple3 triple4) -> (rule1 % int2)) triple4) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
((((triple3 triple4) -> (rule1 % int3)) ((((triple3 triple4) -> (rule1 % int3)) triple4) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
((((((triple3 triple4) -> (rule1 % int3)) triple4) -> (rule2 % int2)) triple4) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Alan who is considered nice was feeling rather rough today.
That guy Charlie is big, but he's always kind to little ones.
Dave always goes out of his way to show that he is kind to people.
Gary who is is looking green after smelling the trash left out in the hot sun is seeing red from his anger; Usually though he is described as being a kind and nice person.
People who are big and kind are also round.
A big round person is nice.
A green colored, nice and young person will be big shaped.
I see it all the time, nice big people make equal a cold person.
When a round individual is nice to others, they are also feeling blue.
If you meet a young and kind person who is also rough, they are cold, too.