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