Although Alan is seen as nice and round, his days of playing football have made him quite rough. Dave is rough, round and young but also red. Eric is blue from ink he spilled on himself while being kind and helping some children paint. In the snow sits Fred, crying from being cold. Any human being with green, big, kind eyes, also has round eyes. Any rather round person exposed to weather that leaves them red and cold will feel blue. Nice young people who are round are also blue. When anyone is young, red and green, you know they'll also be blue. Round people are often red before they turn green. Blue, red, young people are always going to be kind people, too.
Alan is round.
("Alan" "is" "round" "+")
Alan is rough.
("Alan" "is" "rough" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is red.
("Dave" "is" "red" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Fred is cold.
("Fred" "is" "cold" "+")
If someone is green and big and kind then they are round.
((("someone" "is" "green" "+") ("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
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 nice and young and round then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is red and young and green then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and red then they are green.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and red and young then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
Dave is round.
True
1
proof
[(triple5)]
("Dave" "is" "round" "+")
triple5
Dave is not red.
False
1
inv-proof
[(triple7)]
("Dave" "is" "red" "-")
triple7
Dave is green.
True
3
proof
[(((triple5 triple7) -> rule5))]
("Dave" "is" "green" "+")
((triple5 triple7) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is not green.
False
3
inv-proof
[(((triple5 triple7) -> rule5))]
("Dave" "is" "green" "-")
((triple5 triple7) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
True
6
proof
[(((triple7 triple4 ((triple5 triple7) -> rule5)) -> rule4))]
("Dave" "is" "blue" "+")
((triple7 triple4 ((triple5 triple7) -> (rule5 % int2))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is not blue.
False
6
inv-proof
[(((triple7 triple4 ((triple5 triple7) -> rule5)) -> rule4))]
("Dave" "is" "blue" "-")
((triple7 triple4 ((triple5 triple7) -> (rule5 % int2))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is kind.
True
9
proof
[(((((triple7 triple4 ((triple5 triple7) -> rule5)) -> rule4) triple7 triple4) -> rule6))]
("Dave" "is" "kind" "+")
((((triple7 triple4 ((triple5 triple7) -> (rule5 % int3))) -> (rule4 % int2)) triple7 triple4) -> (rule6 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is not kind.
False
9
inv-proof
[(((((triple7 triple4 ((triple5 triple7) -> rule5)) -> rule4) triple7 triple4) -> rule6))]
("Dave" "is" "kind" "-")
((((triple7 triple4 ((triple5 triple7) -> (rule5 % int3))) -> (rule4 % int2)) triple7 triple4) -> (rule6 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Fred is not blue.
Unknown
inv-rconc
[@1: Fred is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "blue" "-")
Fred is round.
Unknown
rconc
[@1: Fred is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "round" "+")
Alan is not blue.
Unknown
inv-rconc
[@1: Alan is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "blue" "-")
Alan is kind.
Unknown
rconc
[@1: Alan is kind.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Alan" "is" "kind" "+")
Dave is not big.
Unknown
inv-random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "-")
Eric is red.
Unknown
random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "+")
Fred is not big.
Unknown
inv-random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "-")
Fred is young.
Unknown
random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "+")
@0: Alan is nice.[(triple3)] Alan is rough.[(triple2)] Alan is round.[(triple1)] Dave is red.[(triple7)] Dave is rough.[(triple6)] Dave is round.[(triple5)] Dave is young.[(triple4)] Eric is blue.[(triple9)] Eric is kind.[(triple8)] Fred is cold.[(triple10)] @1: Dave is green.[(((triple5 triple7) -> rule5))] @2: Dave is blue.[(((triple7 triple4 ((triple5 triple7) -> rule5)) -> rule4))] @3: Dave is kind.[(((((triple7 triple4 ((triple5 triple7) -> rule5)) -> rule4) triple7 triple4) -> rule6))]
Alan is nice.
("Alan" "is" "nice" "+")
triple3
Alan is rough.
("Alan" "is" "rough" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Dave is red.
("Dave" "is" "red" "+")
triple7
Dave is rough.
("Dave" "is" "rough" "+")
triple6
Dave is round.
("Dave" "is" "round" "+")
triple5
Dave is young.
("Dave" "is" "young" "+")
triple4
Eric is blue.
("Eric" "is" "blue" "+")
triple9
Eric is kind.
("Eric" "is" "kind" "+")
triple8
Fred is cold.
("Fred" "is" "cold" "+")
triple10
Dave is green.
("Dave" "is" "green" "+")
((triple5 triple7) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
((triple7 triple4 ((triple5 triple7) -> (rule5 % int2))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
((((triple7 triple4 ((triple5 triple7) -> (rule5 % int3))) -> (rule4 % int2)) triple7 triple4) -> (rule6 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Although Alan is seen as nice and round, his days of playing football have made him quite rough.
Dave is rough, round and young but also red.
Eric is blue from ink he spilled on himself while being kind and helping some children paint.
In the snow sits Fred, crying from being cold.
Any human being with green, big, kind eyes, also has round eyes.
Any rather round person exposed to weather that leaves them red and cold will feel blue.
Nice young people who are round are also blue.
When anyone is young, red and green, you know they'll also be blue.
Round people are often red before they turn green.
Blue, red, young people are always going to be kind people, too.