That guy Alan is big, but he's always kind to little ones. I know Bob really well and you can say he is rough on the outside, cold on the inside and red all of the time. The cold, nice, kind man with a round body is known as Dave. Eric was born only a few years ago so he is young. Being a kind person even when you are blue is hard, but it means you are round with delight. Rough people, round from over eating, who are also cold are young and don't mind the draft. Don't be surprised to hear that all nice, kind folks are in fact rough. A big, young human being is sure to also be a green human being. Anyone who is round and also cold will surely be big as well.
Alan is kind.
("Alan" "is" "kind" "+")
Alan is big.
("Alan" "is" "big" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Eric is young.
("Eric" "is" "young" "+")
If someone is blue and kind then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is round and cold and rough then they are young.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and kind then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is big and young then they are green.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone is round and cold then they are big.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
Eric is young.
True
1
proof
[(triple10)]
("Eric" "is" "young" "+")
triple10
Bob is not rough.
False
1
inv-proof
[(triple3)]
("Bob" "is" "rough" "-")
triple3
Dave is rough.
True
3
proof
[(((triple7 triple8) -> rule3))]
("Dave" "is" "rough" "+")
((triple7 triple8) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is not rough.
False
3
inv-proof
[(((triple7 triple8) -> rule3))]
("Dave" "is" "rough" "-")
((triple7 triple8) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is young.
True
6
proof
[(((triple6 triple9 ((triple7 triple8) -> rule3)) -> rule2))]
("Dave" "is" "young" "+")
((triple6 triple9 ((triple7 triple8) -> (rule3 % int2))) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is not young.
False
6
inv-proof
[(((triple6 triple9 ((triple7 triple8) -> rule3)) -> rule2))]
("Dave" "is" "young" "-")
((triple6 triple9 ((triple7 triple8) -> (rule3 % int2))) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is green.
True
10
proof
[(((((triple6 triple9) -> rule5) ((triple6 triple9 ((triple7 triple8) -> rule3)) -> rule2)) -> rule4))]
("Dave" "is" "green" "+")
((((triple6 triple9) -> (rule5 % int4)) ((triple6 triple9 ((triple7 triple8) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is not green.
False
10
inv-proof
[(((((triple6 triple9) -> rule5) ((triple6 triple9 ((triple7 triple8) -> rule3)) -> rule2)) -> rule4))]
("Dave" "is" "green" "-")
((((triple6 triple9) -> (rule5 % int4)) ((triple6 triple9 ((triple7 triple8) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Eric is not round.
Unknown
inv-rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "round" "-")
Alan is rough.
Unknown
rconc
[@1: Alan is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "rough" "+")
Bob is not round.
Unknown
inv-rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "round" "-")
Bob is green.
Unknown
rconc
[@3: Bob is green.[CWA. Example of deepest failure = (rule4 <- rule5 <- rule1 <- FAIL)]]
("Bob" "is" "green" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Alan is red.
Unknown
random
[@0: Alan is red.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "red" "+")
Alan is not nice.
Unknown
inv-random
[@0: Alan is nice.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "nice" "-")
Dave is blue.
Unknown
random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "+")
@0: Alan is big.[(triple2)] Alan is kind.[(triple1)] Bob is cold.[(triple5)] Bob is red.[(triple4)] Bob is rough.[(triple3)] Dave is cold.[(triple9)] Dave is kind.[(triple8)] Dave is nice.[(triple7)] Dave is round.[(triple6)] Eric is young.[(triple10)] @1: Dave is big.[(((triple6 triple9) -> rule5))] Dave is rough.[(((triple7 triple8) -> rule3))] @2: Dave is young.[(((triple6 triple9 ((triple7 triple8) -> rule3)) -> rule2))] @3: Dave is green.[(((((triple6 triple9) -> rule5) ((triple6 triple9 ((triple7 triple8) -> rule3)) -> rule2)) -> rule4))]
Alan is big.
("Alan" "is" "big" "+")
triple2
Alan is kind.
("Alan" "is" "kind" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple5
Bob is red.
("Bob" "is" "red" "+")
triple4
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Dave is cold.
("Dave" "is" "cold" "+")
triple9
Dave is kind.
("Dave" "is" "kind" "+")
triple8
Dave is nice.
("Dave" "is" "nice" "+")
triple7
Dave is round.
("Dave" "is" "round" "+")
triple6
Eric is young.
("Eric" "is" "young" "+")
triple10
Dave is big.
("Dave" "is" "big" "+")
((triple6 triple9) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
((triple7 triple8) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
((triple6 triple9 ((triple7 triple8) -> (rule3 % int2))) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
((((triple6 triple9) -> (rule5 % int4)) ((triple6 triple9 ((triple7 triple8) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
That guy Alan is big, but he's always kind to little ones.
I know Bob really well and you can say he is rough on the outside, cold on the inside and red all of the time.
The cold, nice, kind man with a round body is known as Dave.
Eric was born only a few years ago so he is young.
Being a kind person even when you are blue is hard, but it means you are round with delight.
Rough people, round from over eating, who are also cold are young and don't mind the draft.
Don't be surprised to hear that all nice, kind folks are in fact rough.
A big, young human being is sure to also be a green human being.
Anyone who is round and also cold will surely be big as well.