Bob is big. Bob is cold. Bob is furry. Bob is green. Bob is not nice. Bob is red. Charlie is cold. Charlie is green. Charlie is nice. Charlie is young. Gary is cold. Gary is not furry. Gary is not green. Gary is red. Gary is young. Big things are furry. If Bob is red then Bob is not nice. All green, furry things are cold.
Bob is big.
("Bob" "is" "big" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is not nice.
("Bob" "is" "nice" "-")
Bob is red.
("Bob" "is" "red" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is not furry.
("Gary" "is" "furry" "-")
Gary is not green.
("Gary" "is" "green" "-")
Gary is red.
("Gary" "is" "red" "+")
Gary is young.
("Gary" "is" "young" "+")
Big things are furry.
((("something" "is" "big" "+")) -> ("something" "is" "furry" "+"))
If Bob is red then Bob is not nice.
((("Bob" "is" "red" "+")) -> ("Bob" "is" "nice" "-"))
All green, furry things are cold.
((("something" "is" "green" "+") ("something" "is" "furry" "+")) -> ("something" "is" "cold" "+"))
Bob is furry.
True
1
proof
[(triple3 OR ((triple1) -> rule1))]
("Bob" "is" "furry" "+")
triple3
((triple1) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Charlie is not green.
False
1
inv-proof
[(triple8)]
("Charlie" "is" "green" "-")
triple8
Charlie is not furry.
Unknown
inv-rconc
[@1: Charlie is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "furry" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
@0: Bob is big.[(triple1)] Bob is cold.[(triple2 OR ((triple4 triple3) -> rule3) OR ((triple4 ((triple1) -> rule1)) -> rule3))] Bob is furry.[(triple3 OR ((triple1) -> rule1))] Bob is green.[(triple4)] Bob is not nice.[(triple5 OR ((triple6) -> rule2))] Bob is red.[(triple6)] Charlie is cold.[(triple7)] Charlie is green.[(triple8)] Charlie is nice.[(triple9)] Charlie is young.[(triple10)] Gary is cold.[(triple11)] Gary is not furry.[(triple12)] Gary is not green.[(triple13)] Gary is red.[(triple14)] Gary is young.[(triple15)]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple2
((triple4 triple3) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
((triple4 ((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
triple3
((triple1) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
triple4
Bob is not nice.
("Bob" "is" "nice" "-")
triple5
((triple6) -> (rule2 % int1))
Bob is not nice.
("Bob" "is" "nice" "-")
int1
Bob is red.
("Bob" "is" "red" "+")
triple6
Charlie is cold.
("Charlie" "is" "cold" "+")
triple7
Charlie is green.
("Charlie" "is" "green" "+")
triple8
Charlie is nice.
("Charlie" "is" "nice" "+")
triple9
Charlie is young.
("Charlie" "is" "young" "+")
triple10
Gary is cold.
("Gary" "is" "cold" "+")
triple11
Gary is not furry.
("Gary" "is" "furry" "-")
triple12
Gary is not green.
("Gary" "is" "green" "-")
triple13
Gary is red.
("Gary" "is" "red" "+")
triple14
Gary is young.
("Gary" "is" "young" "+")
triple15