Bob is big. Bob is blue. Bob is furry. Charlie is blue. Charlie is furry. Charlie is green. Charlie is nice. Gary is big. Gary is blue. Gary is furry. Gary is green. Gary is nice. Gary is round. Harry is big. Harry is blue. Harry is white. If Bob is furry then Bob is round. If something is green then it is big. If something is furry then it is white.
Bob is big.
("Bob" "is" "big" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is round.
("Gary" "is" "round" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is white.
("Harry" "is" "white" "+")
If Bob is furry then Bob is round.
((("Bob" "is" "furry" "+")) -> ("Bob" "is" "round" "+"))
If something is green then it is big.
((("something" "is" "green" "+")) -> ("something" "is" "big" "+"))
If something is furry then it is white.
((("something" "is" "furry" "+")) -> ("something" "is" "white" "+"))
Gary is furry.
True
1
proof
[(triple10)]
("Gary" "is" "furry" "+")
triple10
Charlie is not blue.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "blue" "-")
triple4
Bob is round.
True
2
proof
[(((triple3) -> rule1))]
("Bob" "is" "round" "+")
((triple3) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Gary is not white.
False
2
inv-proof
[(((triple10) -> rule3))]
("Gary" "is" "white" "-")
((triple10) -> (rule3 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Harry is not furry.
Unknown
inv-random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
Harry is not green.
Unknown
inv-random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is furry.[(triple3)] Charlie is blue.[(triple4)] Charlie is furry.[(triple5)] Charlie is green.[(triple6)] Charlie is nice.[(triple7)] Gary is big.[(triple8 OR ((triple11) -> rule2))] Gary is blue.[(triple9)] Gary is furry.[(triple10)] Gary is green.[(triple11)] Gary is nice.[(triple12)] Gary is round.[(triple13)] Harry is big.[(triple14)] Harry is blue.[(triple15)] Harry is white.[(triple16)] @1: Bob is round.[(((triple3) -> rule1))] Bob is white.[(((triple3) -> rule3))] Charlie is big.[(((triple6) -> rule2))] Charlie is white.[(((triple5) -> rule3))] Gary is white.[(((triple10) -> rule3))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is furry.
("Bob" "is" "furry" "+")
triple3
Charlie is blue.
("Charlie" "is" "blue" "+")
triple4
Charlie is furry.
("Charlie" "is" "furry" "+")
triple5
Charlie is green.
("Charlie" "is" "green" "+")
triple6
Charlie is nice.
("Charlie" "is" "nice" "+")
triple7
Gary is big.
("Gary" "is" "big" "+")
triple8
((triple11) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
triple9
Gary is furry.
("Gary" "is" "furry" "+")
triple10
Gary is green.
("Gary" "is" "green" "+")
triple11
Gary is nice.
("Gary" "is" "nice" "+")
triple12
Gary is round.
("Gary" "is" "round" "+")
triple13
Harry is big.
("Harry" "is" "big" "+")
triple14
Harry is blue.
("Harry" "is" "blue" "+")
triple15
Harry is white.
("Harry" "is" "white" "+")
triple16
Bob is round.
("Bob" "is" "round" "+")
((triple3) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
((triple3) -> (rule3 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
((triple6) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
((triple5) -> (rule3 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
((triple10) -> (rule3 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1