Bob is big. Bob is blue. Bob is furry. Bob is not quiet. Bob is not red. Bob is white. Erin is not blue. Erin is furry. Erin is quiet. Erin is red. Erin is smart. Harry is big. Harry is blue. Harry is red. Harry is smart. If Bob is white then Bob is smart. If something is white and not blue then it is quiet. If something is quiet and not white then it is not big.
Bob is big.
("Bob" "is" "big" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is not quiet.
("Bob" "is" "quiet" "-")
Bob is not red.
("Bob" "is" "red" "-")
Bob is white.
("Bob" "is" "white" "+")
Erin is not blue.
("Erin" "is" "blue" "-")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is smart.
("Harry" "is" "smart" "+")
If Bob is white then Bob is smart.
((("Bob" "is" "white" "+")) -> ("Bob" "is" "smart" "+"))
If something is white and not blue then it is quiet.
((("something" "is" "white" "+") ("something" "is" "blue" "~")) -> ("something" "is" "quiet" "+"))
If something is quiet and not white then it is not big.
((("something" "is" "quiet" "+") ("something" "is" "white" "~")) -> ("something" "is" "big" "-"))
Bob is furry.
True
1
proof
[(triple3)]
("Bob" "is" "furry" "+")
triple3
Erin is not furry.
False
1
inv-proof
[(triple8)]
("Erin" "is" "furry" "-")
triple8
Harry is not quiet.
Unknown
inv-rconc
[@1: Harry is quiet.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "quiet" "-")
Harry is white.
Unknown
random
[@0: Harry is white.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "white" "+")
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is furry.[(triple3)] Bob is not quiet.[(triple4)] Bob is not red.[(triple5)] Bob is white.[(triple6)] Erin is furry.[(triple8)] Erin is not blue.[(triple7)] Erin is quiet.[(triple9)] Erin is red.[(triple10)] Erin is smart.[(triple11)] Harry is big.[(triple12)] Harry is blue.[(triple13)] Harry is red.[(triple14)] Harry is smart.[(triple15)] @1: Bob is smart.[(((triple6) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is furry.
("Bob" "is" "furry" "+")
triple3
Bob is not quiet.
("Bob" "is" "quiet" "-")
triple4
Bob is not red.
("Bob" "is" "red" "-")
triple5
Bob is white.
("Bob" "is" "white" "+")
triple6
Erin is furry.
("Erin" "is" "furry" "+")
triple8
Erin is not blue.
("Erin" "is" "blue" "-")
triple7
Erin is quiet.
("Erin" "is" "quiet" "+")
triple9
Erin is red.
("Erin" "is" "red" "+")
triple10
Erin is smart.
("Erin" "is" "smart" "+")
triple11
Harry is big.
("Harry" "is" "big" "+")
triple12
Harry is blue.
("Harry" "is" "blue" "+")
triple13
Harry is red.
("Harry" "is" "red" "+")
triple14
Harry is smart.
("Harry" "is" "smart" "+")
triple15
Bob is smart.
("Bob" "is" "smart" "+")
((triple6) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1