Alan is red, cold in temperature and round shaped. Alan is also very  big. Bob wears all blue. Upon meeting Fred, you'll notice he's green and kind. Gary was born only a few years ago so he is young. A green and red colored person who is rather nice will definitely be kind. Young people who rough around in the cold are known to be very red. Anyone that's rough and cold is also going to be blue. Blue people who are rough are often young. Big people with round and somewhat red faces will have rough skin. When someone is kind and their cheeks flame red with embarrassment I know that they are young.
Alan is round.
("Alan" "is" "round" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Alan is big.
("Alan" "is" "big" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is green.
("Fred" "is" "green" "+")
Gary is young.
("Gary" "is" "young" "+")
If someone is green and nice and red then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and young and cold then they are red.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and rough then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and blue then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is big and round and red then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and red then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
Fred is green.
True
1
proof
[(triple7)]
("Fred" "is" "green" "+")
triple7
Alan is not round.
False
1
inv-proof
[(triple1)]
("Alan" "is" "round" "-")
triple1
Alan is rough.
True
4
proof
[(((triple4 triple1 triple2) -> rule5))]
("Alan" "is" "rough" "+")
((triple4 triple1 triple2) -> (rule5 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is not rough.
False
4
inv-proof
[(((triple4 triple1 triple2) -> rule5))]
("Alan" "is" "rough" "-")
((triple4 triple1 triple2) -> (rule5 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is blue.
True
6
proof
[(((triple3 ((triple4 triple1 triple2) -> rule5)) -> rule3))]
("Alan" "is" "blue" "+")
((triple3 ((triple4 triple1 triple2) -> (rule5 % int2))) -> (rule3 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is not blue.
False
6
inv-proof
[(((triple3 ((triple4 triple1 triple2) -> rule5)) -> rule3))]
("Alan" "is" "blue" "-")
((triple3 ((triple4 triple1 triple2) -> (rule5 % int2))) -> (rule3 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is young.
True
11
proof
[(((((triple4 triple1 triple2) -> rule5) ((triple3 ((triple4 triple1 triple2) -> rule5)) -> rule3)) -> rule4))]
("Alan" "is" "young" "+")
((((triple4 triple1 triple2) -> (rule5 % int3)) ((triple3 ((triple4 triple1 triple2) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Alan is not young.
False
11
inv-proof
[(((((triple4 triple1 triple2) -> rule5) ((triple3 ((triple4 triple1 triple2) -> rule5)) -> rule3)) -> rule4))]
("Alan" "is" "young" "-")
((((triple4 triple1 triple2) -> (rule5 % int3)) ((triple3 ((triple4 triple1 triple2) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Bob is not kind.
Unknown
inv-rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "kind" "-")
Gary is kind.
Unknown
rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "kind" "+")
Fred is not red.
Unknown
inv-rconc
[@1: Fred is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "red" "-")
Gary is blue.
Unknown
rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "blue" "+")
Gary is not nice.
Unknown
inv-random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "-")
Fred is big.
Unknown
random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "+")
Fred is not round.
Unknown
inv-random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
@0: Alan is big.[(triple4)] Alan is cold.[(triple3)] Alan is red.[(triple2)] Alan is round.[(triple1)] Bob is blue.[(triple5)] Fred is green.[(triple7)] Fred is kind.[(triple6)] Gary is young.[(triple8)] @1: Alan is rough.[(((triple4 triple1 triple2) -> rule5))] @2: Alan is blue.[(((triple3 ((triple4 triple1 triple2) -> rule5)) -> rule3))] @3: Alan is young.[(((((triple4 triple1 triple2) -> rule5) ((triple3 ((triple4 triple1 triple2) -> rule5)) -> rule3)) -> rule4))]
Alan is big.
("Alan" "is" "big" "+")
triple4
Alan is cold.
("Alan" "is" "cold" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple5
Fred is green.
("Fred" "is" "green" "+")
triple7
Fred is kind.
("Fred" "is" "kind" "+")
triple6
Gary is young.
("Gary" "is" "young" "+")
triple8
Alan is rough.
("Alan" "is" "rough" "+")
((triple4 triple1 triple2) -> (rule5 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
((triple3 ((triple4 triple1 triple2) -> (rule5 % int2))) -> (rule3 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
((((triple4 triple1 triple2) -> (rule5 % int3)) ((triple3 ((triple4 triple1 triple2) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Alan is red, cold in temperature and round shaped; Alan is also very  big.
Bob wears all blue.
Upon meeting Fred, you'll notice he's green and kind.
Gary was born only a few years ago so he is young.
A green and red colored person who is rather nice will definitely be kind.
Young people who rough around in the cold are known to be very red.
Anyone that's rough and cold is also going to be blue.
Blue people who are rough are often young.
Big people with round and somewhat red faces will have rough skin.
When someone is kind and their cheeks flame red with embarrassment I know that they are young.