Red Alan is what folks call him, because he is quite red. Big, rough Dave is also kind with red hair and green shoes. Eric was born only a few years ago so he is young. Fred is rough and cold, but he's young and will get over it. People who are rough, round in shape, and big in stature are usuallu blue in color. Green people with red round cheeks are young. A big, blue person who is kind is also round. Red people feel blue about it. Cold, green people have a habit of eating alot and looking quite round. Young people that are red for any reason, may also act in a rough manner, but don't be surprised if they are ultimately blue. If someone happens to be cold and rough, they wont be nice and live green lifestyle.
Alan is red.
("Alan" "is" "red" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is young.
("Eric" "is" "young" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is cold.
("Fred" "is" "cold" "+")
If someone is rough and round and big then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is red and green and round then they are young.
((("someone" "is" "red" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and kind and big then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is red then they are blue.
((("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and green then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is red and young and rough then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and nice and rough then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
Alan is red.
True
1
proof
[(triple1)]
("Alan" "is" "red" "+")
triple1
Fred is not rough.
False
1
inv-proof
[(triple9)]
("Fred" "is" "rough" "-")
triple9
Dave is blue.
True
2
proof
[(((triple3) -> rule4))]
("Dave" "is" "blue" "+")
((triple3) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Alan is not blue.
False
2
inv-proof
[(((triple1) -> rule4))]
("Alan" "is" "blue" "-")
((triple1) -> (rule4 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Dave is round.
True
5
proof
[(((((triple3) -> rule4) triple4 triple6) -> rule3))]
("Dave" "is" "round" "+")
((((triple3) -> (rule4 % int2)) triple4 triple6) -> (rule3 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is not round.
False
5
inv-proof
[(((((triple3) -> rule4) triple4 triple6) -> rule3))]
("Dave" "is" "round" "-")
((((triple3) -> (rule4 % int2)) triple4 triple6) -> (rule3 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is young.
True
8
proof
[(((triple3 triple5 ((((triple3) -> rule4) triple4 triple6) -> rule3)) -> rule2))]
("Dave" "is" "young" "+")
((triple3 triple5 ((((triple3) -> (rule4 % int3)) triple4 triple6) -> (rule3 % int2))) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is not young.
False
8
inv-proof
[(((triple3 triple5 ((((triple3) -> rule4) triple4 triple6) -> rule3)) -> rule2))]
("Dave" "is" "young" "-")
((triple3 triple5 ((((triple3) -> (rule4 % int3)) triple4 triple6) -> (rule3 % int2))) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Alan is not round.
Unknown
inv-rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "round" "-")
Eric is round.
Unknown
rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "round" "+")
Alan is not young.
Unknown
inv-rconc
[@2: Alan is young.[CWA. Example of deepest failure = (rule2 <- rule7 <- FAIL)]]
("Alan" "is" "young" "-")
Fred is round.
Unknown
rconc
[@2: Fred is round.[CWA. Example of deepest failure = (rule5 <- rule7 <- FAIL)]]
("Fred" "is" "round" "+")
Eric is not big.
Unknown
inv-random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "-")
Alan is cold.
Unknown
random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "+")
Fred is not kind.
Unknown
inv-random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "-")
Alan is nice.
Unknown
random
[@0: Alan is nice.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "nice" "+")
@0: Alan is red.[(triple1)] Dave is big.[(triple6)] Dave is green.[(triple5)] Dave is kind.[(triple4)] Dave is red.[(triple3)] Dave is rough.[(triple2)] Eric is young.[(triple7)] Fred is cold.[(triple10)] Fred is rough.[(triple9)] Fred is young.[(triple8)] @1: Alan is blue.[(((triple1) -> rule4))] Dave is blue.[(((triple3) -> rule4))] @2: Dave is round.[(((((triple3) -> rule4) triple4 triple6) -> rule3))] @3: Dave is young.[(((triple3 triple5 ((((triple3) -> rule4) triple4 triple6) -> rule3)) -> rule2))]
Alan is red.
("Alan" "is" "red" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple6
Dave is green.
("Dave" "is" "green" "+")
triple5
Dave is kind.
("Dave" "is" "kind" "+")
triple4
Dave is red.
("Dave" "is" "red" "+")
triple3
Dave is rough.
("Dave" "is" "rough" "+")
triple2
Eric is young.
("Eric" "is" "young" "+")
triple7
Fred is cold.
("Fred" "is" "cold" "+")
triple10
Fred is rough.
("Fred" "is" "rough" "+")
triple9
Fred is young.
("Fred" "is" "young" "+")
triple8
Alan is blue.
("Alan" "is" "blue" "+")
((triple1) -> (rule4 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
((triple3) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
((((triple3) -> (rule4 % int2)) triple4 triple6) -> (rule3 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
((triple3 triple5 ((((triple3) -> (rule4 % int3)) triple4 triple6) -> (rule3 % int2))) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Red Alan is what folks call him, because he is quite red.
Big, rough Dave is also kind with red hair and green shoes.
Eric was born only a few years ago so he is young.
Fred is rough and cold, but he's young and will get over it.
People who are rough, round in shape, and big in stature are usuallu blue in color.
Green people with red round cheeks are young.
A big, blue person who is kind is also round.
Red people feel blue about it.
Cold, green people have a habit of eating alot and looking quite round.
Young people that are red for any reason, may also act in a rough manner, but don't be surprised if they are ultimately blue.
If someone happens to be cold and rough, they wont be nice and live green lifestyle.