Red Alan is what folks call him, because he is quite red. Dave became so big that he is now very round. Fortunately the rather green man is still nice. Eric wears all blue. Fred was looking rather round and feeling rather cold, but people thought he is kind. A quite nice person who is red and green is also big. Young round folks who are at least a bit red are actually nice. Big, round, red people are always so young. If you meet someone who is young and cold, then will most definitely be red. A green person is going to be rough. Anyone you know who is cold and kind must certainly be young.
Alan is red.
("Alan" "is" "red" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is cold.
("Fred" "is" "cold" "+")
If someone is red and green and nice then they are big.
((("someone" "is" "red" "+") ("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is red and round and young then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and round and red then they are young.
((("someone" "is" "big" "+") ("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If someone is young and cold then they are red.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is green then they are rough.
((("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and kind then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
Alan is red.
True
1
proof
[(triple1)]
("Alan" "is" "red" "+")
triple1
Dave is not green.
False
1
inv-proof
[(triple4)]
("Dave" "is" "green" "-")
triple4
Fred is young.
True
3
proof
[(((triple9 triple8) -> rule6))]
("Fred" "is" "young" "+")
((triple9 triple8) -> (rule6 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Dave is not rough.
False
2
inv-proof
[(((triple4) -> rule5))]
("Dave" "is" "rough" "-")
((triple4) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Fred is red.
True
5
proof
[(((((triple9 triple8) -> rule6) triple9) -> rule4))]
("Fred" "is" "red" "+")
((((triple9 triple8) -> (rule6 % int2)) triple9) -> (rule4 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is not red.
False
5
inv-proof
[(((((triple9 triple8) -> rule6) triple9) -> rule4))]
("Fred" "is" "red" "-")
((((triple9 triple8) -> (rule6 % int2)) triple9) -> (rule4 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is nice.
True
10
proof
[(((((((triple9 triple8) -> rule6) triple9) -> rule4) triple7 ((triple9 triple8) -> rule6)) -> rule2))]
("Fred" "is" "nice" "+")
((((((triple9 triple8) -> (rule6 % int3)) triple9) -> (rule4 % int2)) triple7 ((triple9 triple8) -> (rule6 % int3))) -> (rule2 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
int3
Fred is not nice.
False
10
inv-proof
[(((((((triple9 triple8) -> rule6) triple9) -> rule4) triple7 ((triple9 triple8) -> rule6)) -> rule2))]
("Fred" "is" "nice" "-")
((((((triple9 triple8) -> (rule6 % int3)) triple9) -> (rule4 % int2)) triple7 ((triple9 triple8) -> (rule6 % int3))) -> (rule2 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
int3
Eric is not nice.
Unknown
inv-rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "nice" "-")
Alan is nice.
Unknown
rconc
[@1: Alan is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "nice" "+")
Eric is not big.
Unknown
inv-rconc
[@1: Eric is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "big" "-")
Eric is rough.
Unknown
rconc
[@1: Eric is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "rough" "+")
Eric is not green.
Unknown
inv-random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "-")
Alan is cold.
Unknown
random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "+")
Eric is not round.
Unknown
inv-random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "-")
Eric is kind.
Unknown
random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "+")
@0: Alan is red.[(triple1)] Dave is big.[(triple5)] Dave is green.[(triple4)] Dave is nice.[(triple3)] Dave is round.[(triple2)] Eric is blue.[(triple6)] Fred is cold.[(triple9)] Fred is kind.[(triple8)] Fred is round.[(triple7)] @1: Dave is rough.[(((triple4) -> rule5))] Fred is young.[(((triple9 triple8) -> rule6))] @2: Fred is red.[(((((triple9 triple8) -> rule6) triple9) -> rule4))] @3: Fred is nice.[(((((((triple9 triple8) -> rule6) triple9) -> rule4) triple7 ((triple9 triple8) -> rule6)) -> rule2))]
Alan is red.
("Alan" "is" "red" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple5
Dave is green.
("Dave" "is" "green" "+")
triple4
Dave is nice.
("Dave" "is" "nice" "+")
triple3
Dave is round.
("Dave" "is" "round" "+")
triple2
Eric is blue.
("Eric" "is" "blue" "+")
triple6
Fred is cold.
("Fred" "is" "cold" "+")
triple9
Fred is kind.
("Fred" "is" "kind" "+")
triple8
Fred is round.
("Fred" "is" "round" "+")
triple7
Dave is rough.
("Dave" "is" "rough" "+")
((triple4) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
((triple9 triple8) -> (rule6 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
((((triple9 triple8) -> (rule6 % int2)) triple9) -> (rule4 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
((((((triple9 triple8) -> (rule6 % int3)) triple9) -> (rule4 % int2)) triple7 ((triple9 triple8) -> (rule6 % int3))) -> (rule2 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
int3
Red Alan is what folks call him, because he is quite red.
Dave became so big that he is now very round; Fortunately the rather green man is still nice.
Eric wears all blue.
Fred was looking rather round and feeling rather cold, but people thought he is kind.
A quite nice person who is red and green is also big.
Young round folks who are at least a bit red are actually nice.
Big, round, red people are always so young.
If you meet someone who is young and cold, then will most definitely be red.
A green person is going to be rough.
Anyone you know who is cold and kind must certainly be young.