Because Dave gets cold easily he tends to appear round from bundling up. Eric is young, he is also red and green. They always call him rough Fred. As much as Gary is nice, he is also cold and often feels blue. Santa Claus is red and kind. He is also very nice, especially to children. If red and slightly green people are asked, they will tell you they feel blue. If a person is red and green, then they will present as big. Big, rough people sometimes are also green and when they are they must be cold. If you color the young ones blue then they will be kind.
If someone is red and kind then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and red then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is red and green then they are big.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and big and green then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and young then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
Dave is cold.
True
1
proof
[(triple2)]
("Dave" "is" "cold" "+")
triple2
Eric is not green.
False
1
inv-proof
[(triple5)]
("Eric" "is" "green" "-")
triple5
Eric is blue.
True
3
proof
[(((triple5 triple4) -> rule2))]
("Eric" "is" "blue" "+")
((triple5 triple4) -> (rule2 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is not blue.
False
3
inv-proof
[(((triple5 triple4) -> rule2))]
("Eric" "is" "blue" "-")
((triple5 triple4) -> (rule2 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is kind.
True
5
proof
[(((((triple5 triple4) -> rule2) triple3) -> rule5))]
("Eric" "is" "kind" "+")
((((triple5 triple4) -> (rule2 % int2)) triple3) -> (rule5 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is not kind.
False
5
inv-proof
[(((((triple5 triple4) -> rule2) triple3) -> rule5))]
("Eric" "is" "kind" "-")
((((triple5 triple4) -> (rule2 % int2)) triple3) -> (rule5 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is nice.
True
7
proof
[(((triple4 ((((triple5 triple4) -> rule2) triple3) -> rule5)) -> rule1))]
("Eric" "is" "nice" "+")
((triple4 ((((triple5 triple4) -> (rule2 % int3)) triple3) -> (rule5 % int2))) -> (rule1 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Eric is not nice.
False
7
inv-proof
[(((triple4 ((((triple5 triple4) -> rule2) triple3) -> rule5)) -> rule1))]
("Eric" "is" "nice" "-")
((triple4 ((((triple5 triple4) -> (rule2 % int3)) triple3) -> (rule5 % int2))) -> (rule1 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Fred is not big.
Unknown
inv-rconc
[@1: Fred is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "big" "-")
Dave is blue.
Unknown
rconc
[@1: Dave is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "blue" "+")
Gary is not big.
Unknown
inv-rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "big" "-")
Dave is big.
Unknown
rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "big" "+")
Dave is not red.
Unknown
inv-random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "-")
Fred is round.
Unknown
random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "+")
Fred is not green.
Unknown
inv-random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
@0: Dave is cold.[(triple2)] Dave is round.[(triple1)] Eric is green.[(triple5)] Eric is red.[(triple4)] Eric is young.[(triple3)] Fred is rough.[(triple6)] Gary is blue.[(triple9)] Gary is cold.[(triple8)] Gary is nice.[(triple7)] @1: Eric is big.[(((triple4 triple5) -> rule3))] Eric is blue.[(((triple5 triple4) -> rule2))] @2: Eric is kind.[(((((triple5 triple4) -> rule2) triple3) -> rule5))] @3: Eric is nice.[(((triple4 ((((triple5 triple4) -> rule2) triple3) -> rule5)) -> rule1))]
Dave is cold.
("Dave" "is" "cold" "+")
triple2
Dave is round.
("Dave" "is" "round" "+")
triple1
Eric is green.
("Eric" "is" "green" "+")
triple5
Eric is red.
("Eric" "is" "red" "+")
triple4
Eric is young.
("Eric" "is" "young" "+")
triple3
Fred is rough.
("Fred" "is" "rough" "+")
triple6
Gary is blue.
("Gary" "is" "blue" "+")
triple9
Gary is cold.
("Gary" "is" "cold" "+")
triple8
Gary is nice.
("Gary" "is" "nice" "+")
triple7
Eric is big.
("Eric" "is" "big" "+")
((triple4 triple5) -> (rule3 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
((triple5 triple4) -> (rule2 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
((((triple5 triple4) -> (rule2 % int2)) triple3) -> (rule5 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
((triple4 ((((triple5 triple4) -> (rule2 % int3)) triple3) -> (rule5 % int2))) -> (rule1 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Because Dave gets cold easily he tends to appear round from bundling up.
Eric is young, he is also red and green.
They always call him rough Fred.
As much as Gary is nice, he is also cold and often feels blue.
Santa Claus is red and kind; He is also very nice, especially to children.
If red and slightly green people are asked, they will tell you they feel blue.
If a person is red and green, then they will present as big.
Big, rough people sometimes are also green and when they are they must be cold.
If you color the young ones blue then they will be kind.