Bob is big. Dave is big. Dave is cold. Dave is quiet. Dave is rough. Gary is furry. Gary is nice. Gary is quiet. Gary is round. Harry is cold. Harry is furry. Harry is nice. Harry is quiet. Harry is rough. Harry is round. If someone is big and nice then they are round. Quiet people are round.
Bob is big.
("Bob" "is" "big" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is round.
("Gary" "is" "round" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is round.
("Harry" "is" "round" "+")
If someone is big and nice then they are round.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
Quiet people are round.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "round" "+"))
Harry is rough.
True
1
proof
[(triple14)]
("Harry" "is" "rough" "+")
triple14
Harry is not nice.
False
1
inv-proof
[(triple12)]
("Harry" "is" "nice" "-")
triple12
Dave is round.
True
2
proof
[(((triple4) -> rule2))]
("Dave" "is" "round" "+")
((triple4) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is not round.
False
2
inv-proof
[(((triple4) -> rule2))]
("Dave" "is" "round" "-")
((triple4) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Bob is not round.
Unknown
inv-rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "round" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
Bob is not quiet.
Unknown
inv-random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
@0: Bob is big.[(triple1)] Dave is big.[(triple2)] Dave is cold.[(triple3)] Dave is quiet.[(triple4)] Dave is rough.[(triple5)] Gary is furry.[(triple6)] Gary is nice.[(triple7)] Gary is quiet.[(triple8)] Gary is round.[(triple9 OR ((triple8) -> rule2))] Harry is cold.[(triple10)] Harry is furry.[(triple11)] Harry is nice.[(triple12)] Harry is quiet.[(triple13)] Harry is rough.[(triple14)] Harry is round.[(triple15 OR ((triple13) -> rule2))] @1: Dave is round.[(((triple4) -> rule2))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple2
Dave is cold.
("Dave" "is" "cold" "+")
triple3
Dave is quiet.
("Dave" "is" "quiet" "+")
triple4
Dave is rough.
("Dave" "is" "rough" "+")
triple5
Gary is furry.
("Gary" "is" "furry" "+")
triple6
Gary is nice.
("Gary" "is" "nice" "+")
triple7
Gary is quiet.
("Gary" "is" "quiet" "+")
triple8
Gary is round.
("Gary" "is" "round" "+")
triple9
((triple8) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Harry is furry.
("Harry" "is" "furry" "+")
triple11
Harry is nice.
("Harry" "is" "nice" "+")
triple12
Harry is quiet.
("Harry" "is" "quiet" "+")
triple13
Harry is rough.
("Harry" "is" "rough" "+")
triple14
Harry is round.
("Harry" "is" "round" "+")
triple15
((triple13) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
((triple4) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1