Alan is red but has turned blue as he is cold but now he is green.  Alan is young and rough. They always call him rough Bob. Young Eric got into a fight that left him with red sores on his face. In the snow sits Gary, crying from being cold. Being round and nice automatically means a person is kind. Young people who are big, downhearted, and blue are kind. Everyone who manages to be both rough and round are also kind. A person described as cold and kind can also be described as nice. People who are cold to others can also be nice and when they are it's a sure bet they are being big about it. A red and green colored person who is cold will be round shaped.
Alan is young.
("Alan" "is" "young" "+")
Alan is rough.
("Alan" "is" "rough" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is red.
("Eric" "is" "red" "+")
Gary is cold.
("Gary" "is" "cold" "+")
If someone is round and nice then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If someone is big and blue and young then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and round then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and kind then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and nice then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is red and cold and green then they are round.
((("someone" "is" "red" "+") ("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
Eric is red.
True
1
proof
[(triple9)]
("Eric" "is" "red" "+")
triple9
Alan is not rough.
False
1
inv-proof
[(triple2)]
("Alan" "is" "rough" "-")
triple2
Alan is round.
True
4
proof
[(((triple3 triple5 triple4) -> rule6))]
("Alan" "is" "round" "+")
((triple3 triple5 triple4) -> (rule6 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is not round.
False
4
inv-proof
[(((triple3 triple5 triple4) -> rule6))]
("Alan" "is" "round" "-")
((triple3 triple5 triple4) -> (rule6 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is kind.
True
6
proof
[(((triple2 ((triple3 triple5 triple4) -> rule6)) -> rule3))]
("Alan" "is" "kind" "+")
((triple2 ((triple3 triple5 triple4) -> (rule6 % int2))) -> (rule3 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is not kind.
False
6
inv-proof
[(((triple2 ((triple3 triple5 triple4) -> rule6)) -> rule3))]
("Alan" "is" "kind" "-")
((triple2 ((triple3 triple5 triple4) -> (rule6 % int2))) -> (rule3 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is nice.
True
8
proof
[(((triple5 ((triple2 ((triple3 triple5 triple4) -> rule6)) -> rule3)) -> rule4))]
("Alan" "is" "nice" "+")
((triple5 ((triple2 ((triple3 triple5 triple4) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Alan is not nice.
False
8
inv-proof
[(((triple5 ((triple2 ((triple3 triple5 triple4) -> rule6)) -> rule3)) -> rule4))]
("Alan" "is" "nice" "-")
((triple5 ((triple2 ((triple3 triple5 triple4) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Alan is big.
True
10
proof
[(((triple5 ((triple5 ((triple2 ((triple3 triple5 triple4) -> rule6)) -> rule3)) -> rule4)) -> rule5))]
("Alan" "is" "big" "+")
((triple5 ((triple5 ((triple2 ((triple3 triple5 triple4) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is round.
("Alan" "is" "round" "+")
int4
Alan is not big.
False
10
inv-proof
[(((triple5 ((triple5 ((triple2 ((triple3 triple5 triple4) -> rule6)) -> rule3)) -> rule4)) -> rule5))]
("Alan" "is" "big" "-")
((triple5 ((triple5 ((triple2 ((triple3 triple5 triple4) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is round.
("Alan" "is" "round" "+")
int4
Eric is not nice.
Unknown
inv-rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "nice" "-")
Gary is big.
Unknown
rconc
[@3: Gary is big.[CWA. Example of deepest failure = (rule5 <- rule4 <- rule1 <- FAIL)]]
("Gary" "is" "big" "+")
Gary is not round.
Unknown
inv-rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "round" "-")
Gary is kind.
Unknown
rconc
[@2: Gary is kind.[CWA. Example of deepest failure = (rule1 <- rule6 <- FAIL)]]
("Gary" "is" "kind" "+")
Bob is not big.
Unknown
inv-rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "big" "-")
Eric is blue.
Unknown
random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "+")
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
Eric is not rough.
Unknown
inv-random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
@0: Alan is blue.[(triple6)] Alan is cold.[(triple5)] Alan is green.[(triple4)] Alan is red.[(triple3)] Alan is rough.[(triple2)] Alan is young.[(triple1)] Bob is rough.[(triple7)] Eric is red.[(triple9)] Eric is young.[(triple8)] Gary is cold.[(triple10)] @1: Alan is round.[(((triple3 triple5 triple4) -> rule6))] @2: Alan is kind.[(((triple2 ((triple3 triple5 triple4) -> rule6)) -> rule3))] @3: Alan is nice.[(((triple5 ((triple2 ((triple3 triple5 triple4) -> rule6)) -> rule3)) -> rule4))] @4: Alan is big.[(((triple5 ((triple5 ((triple2 ((triple3 triple5 triple4) -> rule6)) -> rule3)) -> rule4)) -> rule5))]
Alan is blue.
("Alan" "is" "blue" "+")
triple6
Alan is cold.
("Alan" "is" "cold" "+")
triple5
Alan is green.
("Alan" "is" "green" "+")
triple4
Alan is red.
("Alan" "is" "red" "+")
triple3
Alan is rough.
("Alan" "is" "rough" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is rough.
("Bob" "is" "rough" "+")
triple7
Eric is red.
("Eric" "is" "red" "+")
triple9
Eric is young.
("Eric" "is" "young" "+")
triple8
Gary is cold.
("Gary" "is" "cold" "+")
triple10
Alan is round.
("Alan" "is" "round" "+")
((triple3 triple5 triple4) -> (rule6 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
((triple2 ((triple3 triple5 triple4) -> (rule6 % int2))) -> (rule3 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
((triple5 ((triple2 ((triple3 triple5 triple4) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Alan is big.
("Alan" "is" "big" "+")
((triple5 ((triple5 ((triple2 ((triple3 triple5 triple4) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is round.
("Alan" "is" "round" "+")
int4
Alan is red but has turned blue as he is cold but now he is green; Alan is young and rough.
They always call him rough Bob.
Young Eric got into a fight that left him with red sores on his face.
In the snow sits Gary, crying from being cold.
Being round and nice automatically means a person is kind.
Young people who are big, downhearted, and blue are kind.
Everyone who manages to be both rough and round are also kind.
A person described as cold and kind can also be described as nice.
People who are cold to others can also be nice and when they are it's a sure bet they are being big about it.
A red and green colored person who is cold will be round shaped.