Bob is furry. Bob is round. Bob is white. Harry is furry. Harry is kind. Harry is round. Harry is white. If Harry is rough then Harry is big. All round people are nice.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is white.
("Bob" "is" "white" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is white.
("Harry" "is" "white" "+")
If Harry is rough then Harry is big.
((("Harry" "is" "rough" "+")) -> ("Harry" "is" "big" "+"))
All round people are nice.
((("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
Bob is white.
True
1
proof
[(triple3)]
("Bob" "is" "white" "+")
triple3
Bob is not white.
False
1
inv-proof
[(triple3)]
("Bob" "is" "white" "-")
triple3
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "big" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
@0: Bob is furry.[(triple1)] Bob is round.[(triple2)] Bob is white.[(triple3)] Harry is furry.[(triple4)] Harry is kind.[(triple5)] Harry is round.[(triple6)] Harry is white.[(triple7)] @1: Bob is nice.[(((triple2) -> rule2))] Harry is nice.[(((triple6) -> rule2))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Bob is round.
("Bob" "is" "round" "+")
triple2
Bob is white.
("Bob" "is" "white" "+")
triple3
Harry is furry.
("Harry" "is" "furry" "+")
triple4
Harry is kind.
("Harry" "is" "kind" "+")
triple5
Harry is round.
("Harry" "is" "round" "+")
triple6
Harry is white.
("Harry" "is" "white" "+")
triple7
Bob is nice.
("Bob" "is" "nice" "+")
((triple2) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((triple6) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1