Bob is young and green, so although he is rough and blue with sadness, he'll grow out of it. Dave plays rough and gets red in his round face,yet people know he is young and often blue. Red Fred is what folks call him, because he is quite red. Gary is so young and darling he is kind to all the old people on the block. A nice young person who is rough around the edges is big. Big and round people can't help but be cold all of the time. Find a big human that is colored red and green and he will be amazingly kind. If someone is colored red but is cold, they tend to show a lot of green. A red, round male or female will also be a nice male or female.
Bob is young.
("Bob" "is" "young" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Fred is red.
("Fred" "is" "red" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is kind.
("Gary" "is" "kind" "+")
If someone is young and nice and rough then they are big.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is big and round then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and red and green then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is red and cold then they are green.
((("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is red and round then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
Gary is kind.
True
1
proof
[(triple12)]
("Gary" "is" "kind" "+")
triple12
Bob is not green.
False
1
inv-proof
[(triple3)]
("Bob" "is" "green" "-")
triple3
Dave is nice.
True
3
proof
[(((triple8 triple6) -> rule5))]
("Dave" "is" "nice" "+")
((triple8 triple6) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is not nice.
False
3
inv-proof
[(((triple8 triple6) -> rule5))]
("Dave" "is" "nice" "-")
((triple8 triple6) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is big.
True
6
proof
[(((triple5 ((triple8 triple6) -> rule5) triple7) -> rule1))]
("Dave" "is" "big" "+")
((triple5 ((triple8 triple6) -> (rule5 % int2)) triple7) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is not big.
False
6
inv-proof
[(((triple5 ((triple8 triple6) -> rule5) triple7) -> rule1))]
("Dave" "is" "big" "-")
((triple5 ((triple8 triple6) -> (rule5 % int2)) triple7) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is cold.
True
8
proof
[(((((triple5 ((triple8 triple6) -> rule5) triple7) -> rule1) triple6) -> rule2))]
("Dave" "is" "cold" "+")
((((triple5 ((triple8 triple6) -> (rule5 % int3)) triple7) -> (rule1 % int2)) triple6) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is not cold.
False
8
inv-proof
[(((((triple5 ((triple8 triple6) -> rule5) triple7) -> rule1) triple6) -> rule2))]
("Dave" "is" "cold" "-")
((((triple5 ((triple8 triple6) -> (rule5 % int3)) triple7) -> (rule1 % int2)) triple6) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is green.
True
10
proof
[(((triple8 ((((triple5 ((triple8 triple6) -> rule5) triple7) -> rule1) triple6) -> rule2)) -> rule4))]
("Dave" "is" "green" "+")
((triple8 ((((triple5 ((triple8 triple6) -> (rule5 % int4)) triple7) -> (rule1 % int3)) triple6) -> (rule2 % int2))) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is not green.
False
10
inv-proof
[(((triple8 ((((triple5 ((triple8 triple6) -> rule5) triple7) -> rule1) triple6) -> rule2)) -> rule4))]
("Dave" "is" "green" "-")
((triple8 ((((triple5 ((triple8 triple6) -> (rule5 % int4)) triple7) -> (rule1 % int3)) triple6) -> (rule2 % int2))) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is kind.
True
18
proof
[(((((triple5 ((triple8 triple6) -> rule5) triple7) -> rule1) triple8 ((triple8 ((((triple5 ((triple8 triple6) -> rule5) triple7) -> rule1) triple6) -> rule2)) -> rule4)) -> rule3))]
("Dave" "is" "kind" "+")
((((triple5 ((triple8 triple6) -> (rule5 % int5)) triple7) -> (rule1 % int4)) triple8 ((triple8 ((((triple5 ((triple8 triple6) -> (rule5 % int5)) triple7) -> (rule1 % int4)) triple6) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
int5
Dave is not kind.
False
18
inv-proof
[(((((triple5 ((triple8 triple6) -> rule5) triple7) -> rule1) triple8 ((triple8 ((((triple5 ((triple8 triple6) -> rule5) triple7) -> rule1) triple6) -> rule2)) -> rule4)) -> rule3))]
("Dave" "is" "kind" "-")
((((triple5 ((triple8 triple6) -> (rule5 % int5)) triple7) -> (rule1 % int4)) triple8 ((triple8 ((((triple5 ((triple8 triple6) -> (rule5 % int5)) triple7) -> (rule1 % int4)) triple6) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
int5
Bob is not kind.
Unknown
inv-rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "kind" "-")
Gary is nice.
Unknown
rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "nice" "+")
Bob is not cold.
Unknown
inv-rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "cold" "-")
Fred is big.
Unknown
rconc
[@1: Fred is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "big" "+")
Bob is not nice.
Unknown
inv-rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "nice" "-")
Bob is big.
Unknown
rconc
[@2: Bob is big.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("Bob" "is" "big" "+")
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
Fred is not young.
Unknown
inv-random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "-")
Fred is round.
Unknown
random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "+")
Fred is not rough.
Unknown
inv-random
[@0: Fred is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "rough" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
@0: Bob is blue.[(triple4)] Bob is green.[(triple3)] Bob is rough.[(triple2)] Bob is young.[(triple1)] Dave is blue.[(triple9)] Dave is red.[(triple8)] Dave is rough.[(triple7)] Dave is round.[(triple6)] Dave is young.[(triple5)] Fred is red.[(triple10)] Gary is kind.[(triple12)] Gary is young.[(triple11)] @1: Dave is nice.[(((triple8 triple6) -> rule5))] @2: Dave is big.[(((triple5 ((triple8 triple6) -> rule5) triple7) -> rule1))] @3: Dave is cold.[(((((triple5 ((triple8 triple6) -> rule5) triple7) -> rule1) triple6) -> rule2))] @4: Dave is green.[(((triple8 ((((triple5 ((triple8 triple6) -> rule5) triple7) -> rule1) triple6) -> rule2)) -> rule4))] @5: Dave is kind.[(((((triple5 ((triple8 triple6) -> rule5) triple7) -> rule1) triple8 ((triple8 ((((triple5 ((triple8 triple6) -> rule5) triple7) -> rule1) triple6) -> rule2)) -> rule4)) -> rule3))]
Bob is blue.
("Bob" "is" "blue" "+")
triple4
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple9
Dave is red.
("Dave" "is" "red" "+")
triple8
Dave is rough.
("Dave" "is" "rough" "+")
triple7
Dave is round.
("Dave" "is" "round" "+")
triple6
Dave is young.
("Dave" "is" "young" "+")
triple5
Fred is red.
("Fred" "is" "red" "+")
triple10
Gary is kind.
("Gary" "is" "kind" "+")
triple12
Gary is young.
("Gary" "is" "young" "+")
triple11
Dave is nice.
("Dave" "is" "nice" "+")
((triple8 triple6) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
((triple5 ((triple8 triple6) -> (rule5 % int2)) triple7) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
((((triple5 ((triple8 triple6) -> (rule5 % int3)) triple7) -> (rule1 % int2)) triple6) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
((triple8 ((((triple5 ((triple8 triple6) -> (rule5 % int4)) triple7) -> (rule1 % int3)) triple6) -> (rule2 % int2))) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
((((triple5 ((triple8 triple6) -> (rule5 % int5)) triple7) -> (rule1 % int4)) triple8 ((triple8 ((((triple5 ((triple8 triple6) -> (rule5 % int5)) triple7) -> (rule1 % int4)) triple6) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
int5
Bob is young and green, so although he is rough and blue with sadness, he'll grow out of it.
Dave plays rough and gets red in his round face,yet people know he is young and often blue.
Red Fred is what folks call him, because he is quite red.
Gary is so young and darling he is kind to all the old people on the block.
A nice young person who is rough around the edges is big.
Big and round people can't help but be cold all of the time.
Find a big human that is colored red and green and he will be amazingly kind.
If someone is colored red but is cold, they tend to show a lot of green.
A red, round male or female will also be a nice male or female.