Alan is young and green. He is big and is rough around the edges with tough red skin. That guy Eric is big, but he's always kind to little ones. That guy Fred is big, but he's always kind to little ones. Young, round, and cold people have a habit of looking pretty red. Red people who are also kind often turn out to be cold from standing outdoors too long. A big and blue colored person is also certainly very kind. A green and quite rough person will also be blue. If someone is feeling blue and round in shape they are usually nice.
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 big.
("Alan" "is" "big" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is big.
("Fred" "is" "big" "+")
If someone is cold and young and round then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and red then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and big then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and green then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and round then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
Alan is rough.
True
1
proof
[(triple2)]
("Alan" "is" "rough" "+")
triple2
Fred is not big.
False
1
inv-proof
[(triple9)]
("Fred" "is" "big" "-")
triple9
Alan is blue.
True
3
proof
[(((triple2 triple4) -> rule4))]
("Alan" "is" "blue" "+")
((triple2 triple4) -> (rule4 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is not blue.
False
3
inv-proof
[(((triple2 triple4) -> rule4))]
("Alan" "is" "blue" "-")
((triple2 triple4) -> (rule4 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is kind.
True
5
proof
[(((((triple2 triple4) -> rule4) triple5) -> rule3))]
("Alan" "is" "kind" "+")
((((triple2 triple4) -> (rule4 % int2)) triple5) -> (rule3 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is not kind.
False
5
inv-proof
[(((((triple2 triple4) -> rule4) triple5) -> rule3))]
("Alan" "is" "kind" "-")
((((triple2 triple4) -> (rule4 % int2)) triple5) -> (rule3 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is cold.
True
7
proof
[(((((((triple2 triple4) -> rule4) triple5) -> rule3) triple3) -> rule2))]
("Alan" "is" "cold" "+")
((((((triple2 triple4) -> (rule4 % int3)) triple5) -> (rule3 % int2)) triple3) -> (rule2 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Alan is not cold.
False
7
inv-proof
[(((((((triple2 triple4) -> rule4) triple5) -> rule3) triple3) -> rule2))]
("Alan" "is" "cold" "-")
((((((triple2 triple4) -> (rule4 % int3)) triple5) -> (rule3 % int2)) triple3) -> (rule2 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Gary is not nice.
Unknown
inv-rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "nice" "-")
Fred is nice.
Unknown
rconc
[@1: Fred is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "nice" "+")
Gary is not red.
Unknown
inv-rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "red" "-")
Gary is kind.
Unknown
rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "kind" "+")
Gary is not young.
Unknown
inv-random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "-")
Eric is round.
Unknown
random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "+")
Eric is not young.
Unknown
inv-random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
@0: Alan is big.[(triple5)] Alan is green.[(triple4)] Alan is red.[(triple3)] Alan is rough.[(triple2)] Alan is young.[(triple1)] Eric is big.[(triple7)] Eric is kind.[(triple6)] Fred is big.[(triple9)] Fred is kind.[(triple8)] @1: Alan is blue.[(((triple2 triple4) -> rule4))] @2: Alan is kind.[(((((triple2 triple4) -> rule4) triple5) -> rule3))] @3: Alan is cold.[(((((((triple2 triple4) -> rule4) triple5) -> rule3) triple3) -> rule2))]
Alan is big.
("Alan" "is" "big" "+")
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
Eric is big.
("Eric" "is" "big" "+")
triple7
Eric is kind.
("Eric" "is" "kind" "+")
triple6
Fred is big.
("Fred" "is" "big" "+")
triple9
Fred is kind.
("Fred" "is" "kind" "+")
triple8
Alan is blue.
("Alan" "is" "blue" "+")
((triple2 triple4) -> (rule4 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
((((triple2 triple4) -> (rule4 % int2)) triple5) -> (rule3 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
((((((triple2 triple4) -> (rule4 % int3)) triple5) -> (rule3 % int2)) triple3) -> (rule2 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Alan is young and green; He is big and is rough around the edges with tough red skin.
That guy Eric is big, but he's always kind to little ones.
That guy Fred is big, but he's always kind to little ones.
Young, round, and cold people have a habit of looking pretty red.
Red people who are also kind often turn out to be cold from standing outdoors too long.
A big and blue colored person is also certainly very kind.
A green and quite rough person will also be blue.
If someone is feeling blue and round in shape they are usually nice.