Bob is very nice to people, but he's also rather big. In the snow sits Dave, crying from being cold. Fred is big and rough, but kind. Fred is a mix of colors, red and green and blue. People who are big and kind are also round. People who are rough, round in shape, and big in stature are usuallu blue in color. I've been told that big, nice people are very rough. I believe that red, cold, rough people are likely to be green. Whenever you see Pete you run into a young man rough, which means he will be nice. People who are rough are often rather kind as well. People who are nice and cold are also green.
Bob is nice.
("Bob" "is" "nice" "+")
Bob is big.
("Bob" "is" "big" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Fred is big.
("Fred" "is" "big" "+")
If someone is kind and big then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and round and big then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and nice then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and red and cold then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is young and rough then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough then they are kind.
((("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and cold then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
Fred is rough.
True
1
proof
[(triple4)]
("Fred" "is" "rough" "+")
triple4
Fred is not blue.
False
1
inv-proof
[(triple8 OR ((triple4 ((triple6 triple9) -> rule1) triple9) -> rule2) OR ((triple4 ((((triple4) -> rule6) triple9) -> rule1) triple9) -> rule2))]
("Fred" "is" "blue" "-")
triple8
((triple4 ((triple6 triple9) -> (rule1 % int2)) triple9) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
((triple4 ((((triple4) -> (rule6 % int3)) triple9) -> (rule1 % int2)) triple9) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Fred is round.
True
3
proof
[(((triple6 triple9) -> rule1) OR ((((triple4) -> rule6) triple9) -> rule1))]
("Fred" "is" "round" "+")
((triple6 triple9) -> (rule1 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
((((triple4) -> (rule6 % int2)) triple9) -> (rule1 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is not round.
False
3
inv-proof
[(((triple6 triple9) -> rule1) OR ((((triple4) -> rule6) triple9) -> rule1))]
("Fred" "is" "round" "-")
((triple6 triple9) -> (rule1 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
((((triple4) -> (rule6 % int2)) triple9) -> (rule1 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Bob is kind.
True
4
proof
[(((((triple2 triple1) -> rule3)) -> rule6))]
("Bob" "is" "kind" "+")
((((triple2 triple1) -> (rule3 % int2))) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is not kind.
False
4
inv-proof
[(((((triple2 triple1) -> rule3)) -> rule6))]
("Bob" "is" "kind" "-")
((((triple2 triple1) -> (rule3 % int2))) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is round.
True
6
proof
[(((((((triple2 triple1) -> rule3)) -> rule6) triple2) -> rule1))]
("Bob" "is" "round" "+")
((((((triple2 triple1) -> (rule3 % int3))) -> (rule6 % int2)) triple2) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is not round.
False
6
inv-proof
[(((((((triple2 triple1) -> rule3)) -> rule6) triple2) -> rule1))]
("Bob" "is" "round" "-")
((((((triple2 triple1) -> (rule3 % int3))) -> (rule6 % int2)) triple2) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is blue.
True
11
proof
[(((((triple2 triple1) -> rule3) ((((((triple2 triple1) -> rule3)) -> rule6) triple2) -> rule1) triple2) -> rule2))]
("Bob" "is" "blue" "+")
((((triple2 triple1) -> (rule3 % int4)) ((((((triple2 triple1) -> (rule3 % int4))) -> (rule6 % int3)) triple2) -> (rule1 % int2)) triple2) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is not blue.
False
11
inv-proof
[(((((triple2 triple1) -> rule3) ((((((triple2 triple1) -> rule3)) -> rule6) triple2) -> rule1) triple2) -> rule2))]
("Bob" "is" "blue" "-")
((((triple2 triple1) -> (rule3 % int4)) ((((((triple2 triple1) -> (rule3 % int4))) -> (rule6 % int3)) triple2) -> (rule1 % int2)) triple2) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Harry is not green.
Unknown
inv-rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "green" "-")
Dave is rough.
Unknown
rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "rough" "+")
Dave is not kind.
Unknown
inv-rconc
[@2: Dave is kind.[CWA. Example of deepest failure = (rule6 <- rule3 <- FAIL)]]
("Dave" "is" "kind" "-")
Dave is nice.
Unknown
rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "nice" "+")
Harry is not nice.
Unknown
inv-rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "nice" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
Dave is not red.
Unknown
inv-random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
Bob is not young.
Unknown
inv-random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "-")
Fred is cold.
Unknown
random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "+")
@0: Bob is big.[(triple2)] Bob is nice.[(triple1)] Dave is cold.[(triple3)] Fred is big.[(triple9)] Fred is blue.[(triple8 OR ((triple4 ((triple6 triple9) -> rule1) triple9) -> rule2) OR ((triple4 ((((triple4) -> rule6) triple9) -> rule1) triple9) -> rule2))] Fred is green.[(triple7)] Fred is kind.[(triple6 OR ((triple4) -> rule6))] Fred is red.[(triple5)] Fred is rough.[(triple4)] @1: Bob is rough.[(((triple2 triple1) -> rule3))] Fred is round.[(((triple6 triple9) -> rule1) OR ((((triple4) -> rule6) triple9) -> rule1))] @2: Bob is kind.[(((((triple2 triple1) -> rule3)) -> rule6))] @3: Bob is round.[(((((((triple2 triple1) -> rule3)) -> rule6) triple2) -> rule1))] @4: Bob is blue.[(((((triple2 triple1) -> rule3) ((((((triple2 triple1) -> rule3)) -> rule6) triple2) -> rule1) triple2) -> rule2))]
Bob is big.
("Bob" "is" "big" "+")
triple2
Bob is nice.
("Bob" "is" "nice" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple3
Fred is big.
("Fred" "is" "big" "+")
triple9
Fred is blue.
("Fred" "is" "blue" "+")
triple8
((triple4 ((triple6 triple9) -> (rule1 % int2)) triple9) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
((triple4 ((((triple4) -> (rule6 % int3)) triple9) -> (rule1 % int2)) triple9) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Fred is green.
("Fred" "is" "green" "+")
triple7
Fred is kind.
("Fred" "is" "kind" "+")
triple6
((triple4) -> (rule6 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
triple5
Fred is rough.
("Fred" "is" "rough" "+")
triple4
Bob is rough.
("Bob" "is" "rough" "+")
((triple2 triple1) -> (rule3 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
((triple6 triple9) -> (rule1 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
((((triple4) -> (rule6 % int2)) triple9) -> (rule1 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
((((triple2 triple1) -> (rule3 % int2))) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
((((((triple2 triple1) -> (rule3 % int3))) -> (rule6 % int2)) triple2) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
((((triple2 triple1) -> (rule3 % int4)) ((((((triple2 triple1) -> (rule3 % int4))) -> (rule6 % int3)) triple2) -> (rule1 % int2)) triple2) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is very nice to people, but he's also rather big.
In the snow sits Dave, crying from being cold.
Fred is big and rough, but kind; Fred is a mix of colors, red and green and blue.
People who are big and kind are also round.
People who are rough, round in shape, and big in stature are usuallu blue in color.
I've been told that big, nice people are very rough.
I believe that red, cold, rough people are likely to be green.
Whenever you see Pete you run into a young man rough, which means he will be nice.
People who are rough are often rather kind as well.
People who are nice and cold are also green.