They always call him rough Bob. Even though Dave is green with envy he is nice with rosy red cheeks. Fred 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. When you meet someone round, blue and nice they are as a rule rough. A young aged and blue colored person will certainly be round. It seems to be that a person who is green, red, and blue will be very big. Nice green people and often blue with sadness. Big and round people who arent cold, tend to be very kind. People that are green tend to be young. Young people who are nice and cold, are rather green.
Bob is rough.
("Bob" "is" "rough" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is green.
("Dave" "is" "green" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Fred is big.
("Fred" "is" "big" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If someone is blue and nice and round then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and blue then they are round.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is red and blue and green then they are big.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is green and nice then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and big and round then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
If someone is green then they are young.
((("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and young and cold then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
Fred is big.
True
1
proof
[(triple7)]
("Fred" "is" "big" "+")
triple7
Harry is not kind.
False
1
inv-proof
[(triple8)]
("Harry" "is" "kind" "-")
triple8
Dave is blue.
True
3
proof
[(((triple4 triple3) -> rule4))]
("Dave" "is" "blue" "+")
((triple4 triple3) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is not blue.
False
3
inv-proof
[(((triple4 triple3) -> rule4))]
("Dave" "is" "blue" "-")
((triple4 triple3) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is round.
True
6
proof
[(((((triple4) -> rule6) ((triple4 triple3) -> rule4)) -> rule2))]
("Dave" "is" "round" "+")
((((triple4) -> (rule6 % int3)) ((triple4 triple3) -> (rule4 % int2))) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is not big.
False
6
inv-proof
[(((triple2 ((triple4 triple3) -> rule4) triple4) -> rule3))]
("Dave" "is" "big" "-")
((triple2 ((triple4 triple3) -> (rule4 % int2)) triple4) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is rough.
True
11
proof
[(((((triple4 triple3) -> rule4) triple3 ((((triple4) -> rule6) ((triple4 triple3) -> rule4)) -> rule2)) -> rule1))]
("Dave" "is" "rough" "+")
((((triple4 triple3) -> (rule4 % int4)) triple3 ((((triple4) -> (rule6 % int3)) ((triple4 triple3) -> (rule4 % int4))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is not rough.
False
11
inv-proof
[(((((triple4 triple3) -> rule4) triple3 ((((triple4) -> rule6) ((triple4 triple3) -> rule4)) -> rule2)) -> rule1))]
("Dave" "is" "rough" "-")
((((triple4 triple3) -> (rule4 % int4)) triple3 ((((triple4) -> (rule6 % int3)) ((triple4 triple3) -> (rule4 % int4))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Bob is not green.
Unknown
inv-rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Bob" "is" "green" "-")
Bob is young.
Unknown
rconc
[@2: Bob is young.[CWA. Example of deepest failure = (rule6 <- rule7 <- FAIL)]]
("Bob" "is" "young" "+")
Bob is not round.
Unknown
inv-rconc
[@2: Bob is round.[CWA. Example of deepest failure = (rule2 <- rule4 <- FAIL)]]
("Bob" "is" "round" "-")
Harry is rough.
Unknown
rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "rough" "+")
Harry is not nice.
Unknown
inv-random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "-")
Fred is nice.
Unknown
random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
@0: Bob is rough.[(triple1)] Dave is green.[(triple4)] Dave is nice.[(triple3)] Dave is red.[(triple2)] Fred is big.[(triple7)] Fred is blue.[(triple6)] Fred is kind.[(triple5)] Harry is kind.[(triple8)] @1: Dave is blue.[(((triple4 triple3) -> rule4))] Dave is young.[(((triple4) -> rule6))] @2: Dave is big.[(((triple2 ((triple4 triple3) -> rule4) triple4) -> rule3))] Dave is round.[(((((triple4) -> rule6) ((triple4 triple3) -> rule4)) -> rule2))] @3: Dave is rough.[(((((triple4 triple3) -> rule4) triple3 ((((triple4) -> rule6) ((triple4 triple3) -> rule4)) -> rule2)) -> rule1))]
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple4
Dave is nice.
("Dave" "is" "nice" "+")
triple3
Dave is red.
("Dave" "is" "red" "+")
triple2
Fred is big.
("Fred" "is" "big" "+")
triple7
Fred is blue.
("Fred" "is" "blue" "+")
triple6
Fred is kind.
("Fred" "is" "kind" "+")
triple5
Harry is kind.
("Harry" "is" "kind" "+")
triple8
Dave is blue.
("Dave" "is" "blue" "+")
((triple4 triple3) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
((triple4) -> (rule6 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
((triple2 ((triple4 triple3) -> (rule4 % int2)) triple4) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
((((triple4) -> (rule6 % int3)) ((triple4 triple3) -> (rule4 % int2))) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
((((triple4 triple3) -> (rule4 % int4)) triple3 ((((triple4) -> (rule6 % int3)) ((triple4 triple3) -> (rule4 % int4))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
They always call him rough Bob.
Even though Dave is green with envy he is nice with rosy red cheeks.
Fred 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.
When you meet someone round, blue and nice they are as a rule rough.
A young aged and blue colored person will certainly be round.
It seems to be that a person who is green, red, and blue will be very big.
Nice green people and often blue with sadness.
Big and round people who arent cold, tend to be very kind.
People that are green tend to be young.
Young people who are nice and cold, are rather green.