Bob is a kind and red colored guy. Dave is big and green, which is good, because he is also cold and blue. Eric is still young and round, but he is nice to everyone and kind to animals. Harry is so young and darling he is kind to all the old people on the block. Young round blue people are also big people. If you are green you are also kind. It's said that any person with blue skin, round bones, and big feet is kind. Kind and blue people,though young,tend to be big. Big, kind, and nice people are often red in color. Young,round people tend to be rough and big. Young people are rough.
Bob is red.
("Bob" "is" "red" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If someone is round and blue and young then they are big.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If someone is green then they are kind.
((("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and round and big then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and blue and young then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If someone is big and kind and nice then they are red.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is rough and young and round then they are big.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is young then they are rough.
((("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
Dave is green.
True
1
proof
[(triple3)]
("Dave" "is" "green" "+")
triple3
Eric is not round.
False
1
inv-proof
[(triple8)]
("Eric" "is" "round" "-")
triple8
Eric is rough.
True
2
proof
[(((triple7) -> rule7))]
("Eric" "is" "rough" "+")
((triple7) -> (rule7 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Dave is not kind.
False
2
inv-proof
[(((triple3) -> rule2))]
("Dave" "is" "kind" "-")
((triple3) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Eric is big.
True
5
proof
[(((((triple7) -> rule7) triple7 triple8) -> rule6))]
("Eric" "is" "big" "+")
((((triple7) -> (rule7 % int2)) triple7 triple8) -> (rule6 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is not big.
False
5
inv-proof
[(((((triple7) -> rule7) triple7 triple8) -> rule6))]
("Eric" "is" "big" "-")
((((triple7) -> (rule7 % int2)) triple7 triple8) -> (rule6 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is red.
True
8
proof
[(((((((triple7) -> rule7) triple7 triple8) -> rule6) triple10 triple9) -> rule5))]
("Eric" "is" "red" "+")
((((((triple7) -> (rule7 % int3)) triple7 triple8) -> (rule6 % int2)) triple10 triple9) -> (rule5 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Eric is not red.
False
8
inv-proof
[(((((((triple7) -> rule7) triple7 triple8) -> rule6) triple10 triple9) -> rule5))]
("Eric" "is" "red" "-")
((((((triple7) -> (rule7 % int3)) triple7 triple8) -> (rule6 % int2)) triple10 triple9) -> (rule5 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Bob is not big.
Unknown
inv-rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "big" "-")
Dave is rough.
Unknown
rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Dave" "is" "rough" "+")
Dave is not red.
Unknown
inv-rconc
[@1: Dave is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "red" "-")
Harry is red.
Unknown
rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "red" "+")
Dave is not nice.
Unknown
inv-random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "-")
Eric is blue.
Unknown
random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "+")
Bob is not green.
Unknown
inv-random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "-")
Eric is green.
Unknown
random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "+")
@0: Bob is kind.[(triple2)] Bob is red.[(triple1)] Dave is big.[(triple6)] Dave is blue.[(triple5)] Dave is cold.[(triple4)] Dave is green.[(triple3)] Eric is kind.[(triple10)] Eric is nice.[(triple9)] Eric is round.[(triple8)] Eric is young.[(triple7)] Harry is kind.[(triple12)] Harry is young.[(triple11)] @1: Dave is kind.[(((triple3) -> rule2))] Eric is rough.[(((triple7) -> rule7))] Harry is rough.[(((triple11) -> rule7))] @2: Eric is big.[(((((triple7) -> rule7) triple7 triple8) -> rule6))] @3: Eric is red.[(((((((triple7) -> rule7) triple7 triple8) -> rule6) triple10 triple9) -> rule5))]
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple6
Dave is blue.
("Dave" "is" "blue" "+")
triple5
Dave is cold.
("Dave" "is" "cold" "+")
triple4
Dave is green.
("Dave" "is" "green" "+")
triple3
Eric is kind.
("Eric" "is" "kind" "+")
triple10
Eric is nice.
("Eric" "is" "nice" "+")
triple9
Eric is round.
("Eric" "is" "round" "+")
triple8
Eric is young.
("Eric" "is" "young" "+")
triple7
Harry is kind.
("Harry" "is" "kind" "+")
triple12
Harry is young.
("Harry" "is" "young" "+")
triple11
Dave is kind.
("Dave" "is" "kind" "+")
((triple3) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
((triple7) -> (rule7 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
((triple11) -> (rule7 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
((((triple7) -> (rule7 % int2)) triple7 triple8) -> (rule6 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
((((((triple7) -> (rule7 % int3)) triple7 triple8) -> (rule6 % int2)) triple10 triple9) -> (rule5 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Bob is a kind and red colored guy.
Dave is big and green, which is good, because he is also cold and blue.
Eric is still young and round, but he is nice to everyone and kind to animals.
Harry is so young and darling he is kind to all the old people on the block.
Young round blue people are also big people.
If you are green you are also kind.
It's said that any person with blue skin, round bones, and big feet is kind.
Kind and blue people,though young,tend to be big.
Big, kind, and nice people are often red in color.
Young,round people tend to be rough and big.
Young people are rough.