Alan is nice and kind. He is green with envy which makes him feel blue. Others enjoy Fred's company because he is so nice and kind. Harry always goes out of his way to show that he is kind to people. A person that is blue green and nice are that way because they are still young. Cold, green people have a habit of eating alot and looking quite round. If a human is both young and kind, they are also cold. Nice people who are cold and blue after being plucked from the water have the decency to turn red with embarrassment at having to be rescued following a water skiing gaffe. People who are nice, big, and also rough, are considered red.
Alan is nice.
("Alan" "is" "nice" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If someone is blue and green and nice then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and green then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is young and kind then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and nice and blue then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and big and rough then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
Harry is kind.
True
1
proof
[(triple7)]
("Harry" "is" "kind" "+")
triple7
Harry is not kind.
False
1
inv-proof
[(triple7)]
("Harry" "is" "kind" "-")
triple7
Alan is young.
True
4
proof
[(((triple4 triple3 triple1) -> rule1))]
("Alan" "is" "young" "+")
((triple4 triple3 triple1) -> (rule1 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is not young.
False
4
inv-proof
[(((triple4 triple3 triple1) -> rule1))]
("Alan" "is" "young" "-")
((triple4 triple3 triple1) -> (rule1 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is cold.
True
6
proof
[(((((triple4 triple3 triple1) -> rule1) triple2) -> rule3))]
("Alan" "is" "cold" "+")
((((triple4 triple3 triple1) -> (rule1 % int2)) triple2) -> (rule3 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is not cold.
False
6
inv-proof
[(((((triple4 triple3 triple1) -> rule1) triple2) -> rule3))]
("Alan" "is" "cold" "-")
((((triple4 triple3 triple1) -> (rule1 % int2)) triple2) -> (rule3 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is round.
True
8
proof
[(((((((triple4 triple3 triple1) -> rule1) triple2) -> rule3) triple3) -> rule2))]
("Alan" "is" "round" "+")
((((((triple4 triple3 triple1) -> (rule1 % int3)) triple2) -> (rule3 % int2)) triple3) -> (rule2 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is not round.
False
8
inv-proof
[(((((((triple4 triple3 triple1) -> rule1) triple2) -> rule3) triple3) -> rule2))]
("Alan" "is" "round" "-")
((((((triple4 triple3 triple1) -> (rule1 % int3)) triple2) -> (rule3 % int2)) triple3) -> (rule2 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Gary is not round.
Unknown
inv-rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "round" "-")
Fred is cold.
Unknown
rconc
[@2: Fred is cold.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Fred" "is" "cold" "+")
Fred is not red.
Unknown
inv-rconc
[@1: Fred is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "red" "-")
Fred is young.
Unknown
rconc
[@1: Fred is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "young" "+")
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
Fred is not blue.
Unknown
inv-random
[@0: Fred is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "blue" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
@0: Alan is blue.[(triple4)] Alan is green.[(triple3)] Alan is kind.[(triple2)] Alan is nice.[(triple1)] Fred is kind.[(triple6)] Fred is nice.[(triple5)] Harry is kind.[(triple7)] @1: Alan is young.[(((triple4 triple3 triple1) -> rule1))] @2: Alan is cold.[(((((triple4 triple3 triple1) -> rule1) triple2) -> rule3))] @3: Alan is red.[(((((((triple4 triple3 triple1) -> rule1) triple2) -> rule3) triple1 triple4) -> rule4))] Alan is round.[(((((((triple4 triple3 triple1) -> rule1) triple2) -> rule3) triple3) -> rule2))]
Alan is blue.
("Alan" "is" "blue" "+")
triple4
Alan is green.
("Alan" "is" "green" "+")
triple3
Alan is kind.
("Alan" "is" "kind" "+")
triple2
Alan is nice.
("Alan" "is" "nice" "+")
triple1
Fred is kind.
("Fred" "is" "kind" "+")
triple6
Fred is nice.
("Fred" "is" "nice" "+")
triple5
Harry is kind.
("Harry" "is" "kind" "+")
triple7
Alan is young.
("Alan" "is" "young" "+")
((triple4 triple3 triple1) -> (rule1 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
((((triple4 triple3 triple1) -> (rule1 % int2)) triple2) -> (rule3 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
((((((triple4 triple3 triple1) -> (rule1 % int3)) triple2) -> (rule3 % int2)) triple1 triple4) -> (rule4 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is round.
("Alan" "is" "round" "+")
((((((triple4 triple3 triple1) -> (rule1 % int3)) triple2) -> (rule3 % int2)) triple3) -> (rule2 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is nice and kind; He is green with envy which makes him feel blue.
Others enjoy Fred's company because he is so nice and kind.
Harry always goes out of his way to show that he is kind to people.
A person that is blue green and nice are that way because they are still young.
Cold, green people have a habit of eating alot and looking quite round.
If a human is both young and kind, they are also cold.
Nice people who are cold and blue after being plucked from the water have the decency to turn red with embarrassment at having to be rescued following a water skiing gaffe.
People who are nice, big, and also rough, are considered red.