Bob is cold. Bob is kind. Bob is quiet. Bob is red. Bob is round. Gary is quiet. Gary is rough. Gary is not round. Harry is cold. Harry is furry. Harry is kind. Harry is quiet. Harry is red. Harry is rough. Harry is not round. If Gary is rough then Gary is kind. All round things are red. If Gary is quiet then Gary is cold. If something is quiet then it is furry. All furry things are quiet. If Gary is round and Gary is red then Gary is furry. If Gary is not kind then Gary is not furry. If Gary is round and Gary is cold then Gary is not furry.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is round.
("Bob" "is" "round" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is not round.
("Gary" "is" "round" "-")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is not round.
("Harry" "is" "round" "-")
If Gary is rough then Gary is kind.
((("Gary" "is" "rough" "+")) -> ("Gary" "is" "kind" "+"))
All round things are red.
((("something" "is" "round" "+")) -> ("something" "is" "red" "+"))
If Gary is quiet then Gary is cold.
((("Gary" "is" "quiet" "+")) -> ("Gary" "is" "cold" "+"))
If something is quiet then it is furry.
((("something" "is" "quiet" "+")) -> ("something" "is" "furry" "+"))
All furry things are quiet.
((("something" "is" "furry" "+")) -> ("something" "is" "quiet" "+"))
If Gary is round and Gary is red then Gary is furry.
((("Gary" "is" "round" "+") ("Gary" "is" "red" "+")) -> ("Gary" "is" "furry" "+"))
If Gary is not kind then Gary is not furry.
((("Gary" "is" "kind" "~")) -> ("Gary" "is" "furry" "-"))
If Gary is round and Gary is cold then Gary is not furry.
((("Gary" "is" "round" "+") ("Gary" "is" "cold" "+")) -> ("Gary" "is" "furry" "-"))
Bob is kind.
True
1
proof
[(triple2)]
("Bob" "is" "kind" "+")
triple2
Bob is not round.
False
1
inv-proof
[(triple5)]
("Bob" "is" "round" "-")
triple5
Gary is furry.
True
2
proof
[(((triple6) -> rule4))]
("Gary" "is" "furry" "+")
((triple6) -> (rule4 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Bob is not furry.
False
2
inv-proof
[(((triple3) -> rule4))]
("Bob" "is" "furry" "-")
((triple3) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Gary is not red.
Unknown
inv-rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "red" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
@0: Bob is cold.[(triple1)] Bob is kind.[(triple2)] Bob is quiet.[(triple3)] Bob is red.[(triple4 OR ((triple5) -> rule2))] Bob is round.[(triple5)] Gary is not round.[(triple8)] Gary is quiet.[(triple6)] Gary is rough.[(triple7)] Harry is cold.[(triple9)] Harry is furry.[(triple10 OR ((triple12) -> rule4))] Harry is kind.[(triple11)] Harry is not round.[(triple15)] Harry is quiet.[(triple12 OR ((triple10) -> rule5))] Harry is red.[(triple13)] Harry is rough.[(triple14)] @1: Bob is furry.[(((triple3) -> rule4))] Gary is cold.[(((triple6) -> rule3))] Gary is furry.[(((triple6) -> rule4))] Gary is kind.[(((triple7) -> rule1))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is quiet.
("Bob" "is" "quiet" "+")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple4
((triple5) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
triple5
Gary is not round.
("Gary" "is" "round" "-")
triple8
Gary is quiet.
("Gary" "is" "quiet" "+")
triple6
Gary is rough.
("Gary" "is" "rough" "+")
triple7
Harry is cold.
("Harry" "is" "cold" "+")
triple9
Harry is furry.
("Harry" "is" "furry" "+")
triple10
((triple12) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
triple11
Harry is not round.
("Harry" "is" "round" "-")
triple15
Harry is quiet.
("Harry" "is" "quiet" "+")
triple12
((triple10) -> (rule5 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
triple13
Harry is rough.
("Harry" "is" "rough" "+")
triple14
Bob is furry.
("Bob" "is" "furry" "+")
((triple3) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((triple6) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
((triple6) -> (rule4 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
((triple7) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1