Alan is a big person who is kind to all.  He is red and blue. Bob gets red when he is mad and tends to act very cold. Charlie ate some rotten meat and now feels green. Gary always goes out of his way to show that he is kind to people. People who are big and kind are also round. Someone who is round in shape and green in color is usually cold. A young person with a kind heart and big sized body will be rough around the edges. Big, round, red people are always so young. People who are nice and rough are looked at as kind. Anyone you know who is cold and kind must certainly be young.
Alan is red.
("Alan" "is" "red" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Alan is big.
("Alan" "is" "big" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
If someone is kind and big then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is green and round then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is young and kind and big then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is big and round and red then they are young.
((("someone" "is" "big" "+") ("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and rough then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and kind then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
Alan is red.
True
1
proof
[(triple1)]
("Alan" "is" "red" "+")
triple1
Gary is not kind.
False
1
inv-proof
[(triple8)]
("Gary" "is" "kind" "-")
triple8
Alan is round.
True
3
proof
[(((triple2 triple4) -> rule1))]
("Alan" "is" "round" "+")
((triple2 triple4) -> (rule1 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is not round.
False
3
inv-proof
[(((triple2 triple4) -> rule1))]
("Alan" "is" "round" "-")
((triple2 triple4) -> (rule1 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is young.
True
6
proof
[(((triple4 ((triple2 triple4) -> rule1) triple1) -> rule4))]
("Alan" "is" "young" "+")
((triple4 ((triple2 triple4) -> (rule1 % int2)) triple1) -> (rule4 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is not young.
False
6
inv-proof
[(((triple4 ((triple2 triple4) -> rule1) triple1) -> rule4))]
("Alan" "is" "young" "-")
((triple4 ((triple2 triple4) -> (rule1 % int2)) triple1) -> (rule4 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is rough.
True
9
proof
[(((((triple4 ((triple2 triple4) -> rule1) triple1) -> rule4) triple2 triple4) -> rule3))]
("Alan" "is" "rough" "+")
((((triple4 ((triple2 triple4) -> (rule1 % int3)) triple1) -> (rule4 % int2)) triple2 triple4) -> (rule3 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Alan is not rough.
False
9
inv-proof
[(((((triple4 ((triple2 triple4) -> rule1) triple1) -> rule4) triple2 triple4) -> rule3))]
("Alan" "is" "rough" "-")
((((triple4 ((triple2 triple4) -> (rule1 % int3)) triple1) -> (rule4 % int2)) triple2 triple4) -> (rule3 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Bob is not young.
Unknown
inv-rconc
[@2: Bob is young.[CWA. Example of deepest failure = (rule6 <- rule5 <- FAIL)]]
("Bob" "is" "young" "-")
Bob is rough.
Unknown
rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "rough" "+")
Gary is not cold.
Unknown
inv-rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "cold" "-")
Gary is rough.
Unknown
rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "rough" "+")
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
Alan is not nice.
Unknown
inv-random
[@0: Alan is nice.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "nice" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
@0: Alan is big.[(triple4)] Alan is blue.[(triple3)] Alan is kind.[(triple2)] Alan is red.[(triple1)] Bob is cold.[(triple6)] Bob is red.[(triple5)] Charlie is green.[(triple7)] Gary is kind.[(triple8)] @1: Alan is round.[(((triple2 triple4) -> rule1))] @2: Alan is young.[(((triple4 ((triple2 triple4) -> rule1) triple1) -> rule4))] @3: Alan is rough.[(((((triple4 ((triple2 triple4) -> rule1) triple1) -> rule4) triple2 triple4) -> rule3))]
Alan is big.
("Alan" "is" "big" "+")
triple4
Alan is blue.
("Alan" "is" "blue" "+")
triple3
Alan is kind.
("Alan" "is" "kind" "+")
triple2
Alan is red.
("Alan" "is" "red" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple6
Bob is red.
("Bob" "is" "red" "+")
triple5
Charlie is green.
("Charlie" "is" "green" "+")
triple7
Gary is kind.
("Gary" "is" "kind" "+")
triple8
Alan is round.
("Alan" "is" "round" "+")
((triple2 triple4) -> (rule1 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
((triple4 ((triple2 triple4) -> (rule1 % int2)) triple1) -> (rule4 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
((((triple4 ((triple2 triple4) -> (rule1 % int3)) triple1) -> (rule4 % int2)) triple2 triple4) -> (rule3 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Alan is a big person who is kind to all; He is red and blue.
Bob gets red when he is mad and tends to act very cold.
Charlie ate some rotten meat and now feels green.
Gary always goes out of his way to show that he is kind to people.
People who are big and kind are also round.
Someone who is round in shape and green in color is usually cold.
A young person with a kind heart and big sized body will be rough around the edges.
Big, round, red people are always so young.
People who are nice and rough are looked at as kind.
Anyone you know who is cold and kind must certainly be young.