Dave is rough around the edges but very kind. He is round which makes him feel blue and he is green with envy when he sees skinny people. Eric was born only a few years ago so he is young. Fred looks red to most people, with blue features. I've found that a person who is green from lack of experience and nice even when they are feeling blue often has a red complexion. If you see someone who is red and green they are round, like Santa Claus. Red people who are also kind often turn out to be cold from standing outdoors too long. Any rather round person exposed to weather that leaves them red and cold will feel blue. A round and blue individual will also be a cold individual. Anyone perceived to be rough, cold and kind will also be nice.
Dave is round.
("Dave" "is" "round" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Eric is young.
("Eric" "is" "young" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is blue.
("Fred" "is" "blue" "+")
If someone is blue and nice and green then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is red and green then they are round.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and red then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is round and red and cold then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and blue then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and cold and kind then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
Dave is green.
True
1
proof
[(triple4)]
("Dave" "is" "green" "+")
triple4
Dave is not blue.
False
1
inv-proof
[(triple5)]
("Dave" "is" "blue" "-")
triple5
Dave is cold.
True
3
proof
[(((triple1 triple5) -> rule5))]
("Dave" "is" "cold" "+")
((triple1 triple5) -> (rule5 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is not cold.
False
3
inv-proof
[(((triple1 triple5) -> rule5))]
("Dave" "is" "cold" "-")
((triple1 triple5) -> (rule5 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is nice.
True
6
proof
[(((triple2 ((triple1 triple5) -> rule5) triple3) -> rule6))]
("Dave" "is" "nice" "+")
((triple2 ((triple1 triple5) -> (rule5 % int2)) triple3) -> (rule6 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is not nice.
False
6
inv-proof
[(((triple2 ((triple1 triple5) -> rule5) triple3) -> rule6))]
("Dave" "is" "nice" "-")
((triple2 ((triple1 triple5) -> (rule5 % int2)) triple3) -> (rule6 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is red.
True
9
proof
[(((triple5 ((triple2 ((triple1 triple5) -> rule5) triple3) -> rule6) triple4) -> rule1))]
("Dave" "is" "red" "+")
((triple5 ((triple2 ((triple1 triple5) -> (rule5 % int3)) triple3) -> (rule6 % int2)) triple4) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is not red.
False
9
inv-proof
[(((triple5 ((triple2 ((triple1 triple5) -> rule5) triple3) -> rule6) triple4) -> rule1))]
("Dave" "is" "red" "-")
((triple5 ((triple2 ((triple1 triple5) -> (rule5 % int3)) triple3) -> (rule6 % int2)) triple4) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Fred is not round.
Unknown
inv-rconc
[@1: Fred is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "round" "-")
Eric is blue.
Unknown
rconc
[@2: Eric is blue.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("Eric" "is" "blue" "+")
Charlie is not cold.
Unknown
inv-rconc
[@2: Charlie is cold.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("Charlie" "is" "cold" "-")
Fred is cold.
Unknown
rconc
[@2: Fred is cold.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("Fred" "is" "cold" "+")
Fred is not kind.
Unknown
inv-random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
Fred is not big.
Unknown
inv-random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "-")
Eric is rough.
Unknown
random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "+")
@0: Dave is blue.[(triple5)] Dave is green.[(triple4)] Dave is kind.[(triple3)] Dave is rough.[(triple2)] Dave is round.[(triple1)] Eric is young.[(triple6)] Fred is blue.[(triple8)] Fred is red.[(triple7)] @1: Dave is cold.[(((triple1 triple5) -> rule5))] @2: Dave is nice.[(((triple2 ((triple1 triple5) -> rule5) triple3) -> rule6))] @3: Dave is red.[(((triple5 ((triple2 ((triple1 triple5) -> rule5) triple3) -> rule6) triple4) -> rule1))]
Dave is blue.
("Dave" "is" "blue" "+")
triple5
Dave is green.
("Dave" "is" "green" "+")
triple4
Dave is kind.
("Dave" "is" "kind" "+")
triple3
Dave is rough.
("Dave" "is" "rough" "+")
triple2
Dave is round.
("Dave" "is" "round" "+")
triple1
Eric is young.
("Eric" "is" "young" "+")
triple6
Fred is blue.
("Fred" "is" "blue" "+")
triple8
Fred is red.
("Fred" "is" "red" "+")
triple7
Dave is cold.
("Dave" "is" "cold" "+")
((triple1 triple5) -> (rule5 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
((triple2 ((triple1 triple5) -> (rule5 % int2)) triple3) -> (rule6 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
((triple5 ((triple2 ((triple1 triple5) -> (rule5 % int3)) triple3) -> (rule6 % int2)) triple4) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is rough around the edges but very kind; He is round which makes him feel blue and he is green with envy when he sees skinny people.
Eric was born only a few years ago so he is young.
Fred looks red to most people, with blue features.
I've found that a person who is green from lack of experience and nice even when they are feeling blue often has a red complexion.
If you see someone who is red and green they are round, like Santa Claus.
Red people who are also kind often turn out to be cold from standing outdoors too long.
Any rather round person exposed to weather that leaves them red and cold will feel blue.
A round and blue individual will also be a cold individual.
Anyone perceived to be rough, cold and kind will also be nice.