Even though Bob is green with envy he is nice with rosy red cheeks. Charlie always goes out of his way to show that he is kind to people. Dave is so big, he is often blue, but always kind. Harry always goes out of his way to show that he is kind to people. People that tend to be big and green also tend to be cold. When someone feels blue and rough, they might be described as green. People who are big and kind and feel down and blue tend to have rough skin. A big, young aged person that is green will be round shaped. People who are considered rough, blue, and nice, are also green. Those who are round and cold are young.
Bob is red.
("Bob" "is" "red" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is green.
("Bob" "is" "green" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is big.
("Dave" "is" "big" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If someone is big and green then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and rough then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and big and blue then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is big and green and young then they are round.
((("someone" "is" "big" "+") ("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and blue and nice then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and round then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
Charlie is kind.
True
1
proof
[(triple4)]
("Charlie" "is" "kind" "+")
triple4
Bob is not nice.
False
1
inv-proof
[(triple2)]
("Bob" "is" "nice" "-")
triple2
Dave is rough.
True
4
proof
[(((triple5 triple7 triple6) -> rule3))]
("Dave" "is" "rough" "+")
((triple5 triple7 triple6) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is not rough.
False
4
inv-proof
[(((triple5 triple7 triple6) -> rule3))]
("Dave" "is" "rough" "-")
((triple5 triple7 triple6) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is green.
True
6
proof
[(((triple6 ((triple5 triple7 triple6) -> rule3)) -> rule2))]
("Dave" "is" "green" "+")
((triple6 ((triple5 triple7 triple6) -> (rule3 % int2))) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is not green.
False
6
inv-proof
[(((triple6 ((triple5 triple7 triple6) -> rule3)) -> rule2))]
("Dave" "is" "green" "-")
((triple6 ((triple5 triple7 triple6) -> (rule3 % int2))) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is cold.
True
8
proof
[(((triple7 ((triple6 ((triple5 triple7 triple6) -> rule3)) -> rule2)) -> rule1))]
("Dave" "is" "cold" "+")
((triple7 ((triple6 ((triple5 triple7 triple6) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is not cold.
False
8
inv-proof
[(((triple7 ((triple6 ((triple5 triple7 triple6) -> rule3)) -> rule2)) -> rule1))]
("Dave" "is" "cold" "-")
((triple7 ((triple6 ((triple5 triple7 triple6) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Harry is not rough.
Unknown
inv-rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "rough" "-")
Charlie is green.
Unknown
rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "green" "+")
Harry is not green.
Unknown
inv-rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "green" "-")
Charlie is round.
Unknown
rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "round" "+")
Bob is not big.
Unknown
inv-random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
Harry is not nice.
Unknown
inv-random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
@0: Bob is green.[(triple3)] Bob is nice.[(triple2)] Bob is red.[(triple1)] Charlie is kind.[(triple4)] Dave is big.[(triple7)] Dave is blue.[(triple6)] Dave is kind.[(triple5)] Harry is kind.[(triple8)] @1: Dave is rough.[(((triple5 triple7 triple6) -> rule3))] @2: Dave is green.[(((triple6 ((triple5 triple7 triple6) -> rule3)) -> rule2))] @3: Dave is cold.[(((triple7 ((triple6 ((triple5 triple7 triple6) -> rule3)) -> rule2)) -> rule1))]
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
Dave is big.
("Dave" "is" "big" "+")
triple7
Dave is blue.
("Dave" "is" "blue" "+")
triple6
Dave is kind.
("Dave" "is" "kind" "+")
triple5
Harry is kind.
("Harry" "is" "kind" "+")
triple8
Dave is rough.
("Dave" "is" "rough" "+")
((triple5 triple7 triple6) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
((triple6 ((triple5 triple7 triple6) -> (rule3 % int2))) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
((triple7 ((triple6 ((triple5 triple7 triple6) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Even though Bob is green with envy he is nice with rosy red cheeks.
Charlie always goes out of his way to show that he is kind to people.
Dave is so big, he is often blue, but always kind.
Harry always goes out of his way to show that he is kind to people.
People that tend to be big and green also tend to be cold.
When someone feels blue and rough, they might be described as green.
People who are big and kind and feel down and blue tend to have rough skin.
A big, young aged person that is green will be round shaped.
People who are considered rough, blue, and nice, are also green.
Those who are round and cold are young.