Bob is so young and darling he is kind to all the old people on the block. Dave is big and rough. They always call him rough Eric. Harry is big and has rough red skin. He is blue about it and green with envy of the smaller people. Big people who kind even when look green are often always considered nice. Young people who are big, downhearted, and blue are kind. Most young and nice people will be kind. Blue people who are rough are often young.
Bob is young.
("Bob" "is" "young" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is big and kind and green then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and blue and young then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and nice then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and blue then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
Harry is rough.
True
1
proof
[(triple6)]
("Harry" "is" "rough" "+")
triple6
Eric is not rough.
False
1
inv-proof
[(triple5)]
("Eric" "is" "rough" "-")
triple5
Harry is young.
True
3
proof
[(((triple6 triple9) -> rule4))]
("Harry" "is" "young" "+")
((triple6 triple9) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is not young.
False
3
inv-proof
[(((triple6 triple9) -> rule4))]
("Harry" "is" "young" "-")
((triple6 triple9) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is kind.
True
6
proof
[(((triple10 triple9 ((triple6 triple9) -> rule4)) -> rule2))]
("Harry" "is" "kind" "+")
((triple10 triple9 ((triple6 triple9) -> (rule4 % int2))) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is not kind.
False
6
inv-proof
[(((triple10 triple9 ((triple6 triple9) -> rule4)) -> rule2))]
("Harry" "is" "kind" "-")
((triple10 triple9 ((triple6 triple9) -> (rule4 % int2))) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is nice.
True
9
proof
[(((triple10 ((triple10 triple9 ((triple6 triple9) -> rule4)) -> rule2) triple8) -> rule1))]
("Harry" "is" "nice" "+")
((triple10 ((triple10 triple9 ((triple6 triple9) -> (rule4 % int3))) -> (rule2 % int2)) triple8) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is not nice.
False
9
inv-proof
[(((triple10 ((triple10 triple9 ((triple6 triple9) -> rule4)) -> rule2) triple8) -> rule1))]
("Harry" "is" "nice" "-")
((triple10 ((triple10 triple9 ((triple6 triple9) -> (rule4 % int3))) -> (rule2 % int2)) triple8) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Eric is not young.
Unknown
inv-rconc
[@1: Eric is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "young" "-")
Dave is kind.
Unknown
rconc
[@2: Dave is kind.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Dave" "is" "kind" "+")
Dave is not young.
Unknown
inv-rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "young" "-")
Bob is nice.
Unknown
rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "nice" "+")
Eric is not green.
Unknown
inv-random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "-")
Eric is cold.
Unknown
random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "+")
Eric is not blue.
Unknown
inv-random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "-")
Eric is red.
Unknown
random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "+")
@0: Bob is kind.[(triple2)] Bob is young.[(triple1)] Dave is big.[(triple4)] Dave is rough.[(triple3)] Eric is rough.[(triple5)] Harry is big.[(triple10)] Harry is blue.[(triple9)] Harry is green.[(triple8)] Harry is red.[(triple7)] Harry is rough.[(triple6)] @1: Harry is young.[(((triple6 triple9) -> rule4))] @2: Harry is kind.[(((triple10 triple9 ((triple6 triple9) -> rule4)) -> rule2))] @3: Harry is nice.[(((triple10 ((triple10 triple9 ((triple6 triple9) -> rule4)) -> rule2) triple8) -> rule1))]
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple4
Dave is rough.
("Dave" "is" "rough" "+")
triple3
Eric is rough.
("Eric" "is" "rough" "+")
triple5
Harry is big.
("Harry" "is" "big" "+")
triple10
Harry is blue.
("Harry" "is" "blue" "+")
triple9
Harry is green.
("Harry" "is" "green" "+")
triple8
Harry is red.
("Harry" "is" "red" "+")
triple7
Harry is rough.
("Harry" "is" "rough" "+")
triple6
Harry is young.
("Harry" "is" "young" "+")
((triple6 triple9) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
((triple10 triple9 ((triple6 triple9) -> (rule4 % int2))) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
((triple10 ((triple10 triple9 ((triple6 triple9) -> (rule4 % int3))) -> (rule2 % int2)) triple8) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Bob is so young and darling he is kind to all the old people on the block.
Dave is big and rough.
They always call him rough Eric.
Harry is big and has rough red skin; He is blue about it and green with envy of the smaller people.
Big people who kind even when look green are often always considered nice.
Young people who are big, downhearted, and blue are kind.
Most young and nice people will be kind.
Blue people who are rough are often young.