Due to the fact that Charlie is young, he is red and green. He remains kind nevertheless. That Dave is as round and red as a cherry, and twice as kind. Eric, like all young people, is nice. Fred wears all blue. A round and nice person will certainly have a red tint to them. Young people that are blue will still be kind because they are rough to the touch. If a kind, red person is also feeling blue then he will be cold to outsiders. Red people feel blue about it. A person wearing blue clothes and feeling cold very frequently because of their large round body will have green skin.
If someone is round and nice then they are red.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and young and kind then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and red and blue then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is red then they are blue.
((("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and blue and round then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
Charlie is red.
True
1
proof
[(triple2)]
("Charlie" "is" "red" "+")
triple2
Eric is not nice.
False
1
inv-proof
[(triple9)]
("Eric" "is" "nice" "-")
triple9
Dave is blue.
True
2
proof
[(((triple6) -> rule4))]
("Dave" "is" "blue" "+")
((triple6) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Charlie is not blue.
False
2
inv-proof
[(((triple2) -> rule4))]
("Charlie" "is" "blue" "-")
((triple2) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
True
5
proof
[(((triple3 triple2 ((triple2) -> rule4)) -> rule3))]
("Charlie" "is" "cold" "+")
((triple3 triple2 ((triple2) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is not rough.
False
5
inv-proof
[(((((triple2) -> rule4) triple1 triple3) -> rule2))]
("Charlie" "is" "rough" "-")
((((triple2) -> (rule4 % int2)) triple1 triple3) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Dave is green.
True
9
proof
[(((((triple7 triple6 ((triple6) -> rule4)) -> rule3) ((triple6) -> rule4) triple5) -> rule5))]
("Dave" "is" "green" "+")
((((triple7 triple6 ((triple6) -> (rule4 % int3))) -> (rule3 % int2)) ((triple6) -> (rule4 % int3)) triple5) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is not green.
False
9
inv-proof
[(((((triple7 triple6 ((triple6) -> rule4)) -> rule3) ((triple6) -> rule4) triple5) -> rule5))]
("Dave" "is" "green" "-")
((((triple7 triple6 ((triple6) -> (rule4 % int3))) -> (rule3 % int2)) ((triple6) -> (rule4 % int3)) triple5) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Fred is not green.
Unknown
inv-rconc
[@1: Fred is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "green" "-")
Eric is red.
Unknown
rconc
[@1: Eric is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "red" "+")
Eric is not rough.
Unknown
inv-rconc
[@1: Eric is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "rough" "-")
Eric is blue.
Unknown
rconc
[@2: Eric is blue.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("Eric" "is" "blue" "+")
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Fred is kind.
Unknown
random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "+")
Fred is not round.
Unknown
inv-random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "-")
Fred is nice.
Unknown
random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "+")
@0: Charlie is green.[(triple4)] Charlie is kind.[(triple3)] Charlie is red.[(triple2)] Charlie is young.[(triple1)] Dave is kind.[(triple7)] Dave is red.[(triple6)] Dave is round.[(triple5)] Eric is nice.[(triple9)] Eric is young.[(triple8)] Fred is blue.[(triple10)] @1: Charlie is blue.[(((triple2) -> rule4))] Dave is blue.[(((triple6) -> rule4))] @2: Charlie is cold.[(((triple3 triple2 ((triple2) -> rule4)) -> rule3))] Charlie is rough.[(((((triple2) -> rule4) triple1 triple3) -> rule2))] Dave is cold.[(((triple7 triple6 ((triple6) -> rule4)) -> rule3))] @3: Dave is green.[(((((triple7 triple6 ((triple6) -> rule4)) -> rule3) ((triple6) -> rule4) triple5) -> rule5))]
Charlie is green.
("Charlie" "is" "green" "+")
triple4
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
Charlie is red.
("Charlie" "is" "red" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple1
Dave is kind.
("Dave" "is" "kind" "+")
triple7
Dave is red.
("Dave" "is" "red" "+")
triple6
Dave is round.
("Dave" "is" "round" "+")
triple5
Eric is nice.
("Eric" "is" "nice" "+")
triple9
Eric is young.
("Eric" "is" "young" "+")
triple8
Fred is blue.
("Fred" "is" "blue" "+")
triple10
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple2) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
((triple6) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple3 triple2 ((triple2) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
((((triple2) -> (rule4 % int2)) triple1 triple3) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
((triple7 triple6 ((triple6) -> (rule4 % int2))) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
((((triple7 triple6 ((triple6) -> (rule4 % int3))) -> (rule3 % int2)) ((triple6) -> (rule4 % int3)) triple5) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Due to the fact that Charlie is young, he is red and green; He remains kind nevertheless.
That Dave is as round and red as a cherry, and twice as kind.
Eric, like all young people, is nice.
Fred wears all blue.
A round and nice person will certainly have a red tint to them.
Young people that are blue will still be kind because they are rough to the touch.
If a kind, red person is also feeling blue then he will be cold to outsiders.
Red people feel blue about it.
A person wearing blue clothes and feeling cold very frequently because of their large round body will have green skin.