Bob is cold. Bob is smart. Bob is white. Bob is young. Charlie is furry. Charlie is white. Erin is smart. If something is white then it is furry. All red, round things are furry.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is white.
("Bob" "is" "white" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Erin is smart.
("Erin" "is" "smart" "+")
If something is white then it is furry.
((("something" "is" "white" "+")) -> ("something" "is" "furry" "+"))
All red, round things are furry.
((("something" "is" "red" "+") ("something" "is" "round" "+")) -> ("something" "is" "furry" "+"))
Bob is young.
True
1
proof
[(triple4)]
("Bob" "is" "young" "+")
triple4
Charlie is not furry.
False
1
inv-proof
[(triple5 OR ((triple6) -> rule1))]
("Charlie" "is" "furry" "-")
triple5
((triple6) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Bob is furry.
True
2
proof
[(((triple3) -> rule1))]
("Bob" "is" "furry" "+")
((triple3) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is not furry.
False
2
inv-proof
[(((triple3) -> rule1))]
("Bob" "is" "furry" "-")
((triple3) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Erin is not furry.
Unknown
inv-rconc
[@1: Erin is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "furry" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
Charlie is not smart.
Unknown
inv-random
[@0: Charlie is smart.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "smart" "-")
Erin is red.
Unknown
random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "+")
@0: Bob is cold.[(triple1)] Bob is smart.[(triple2)] Bob is white.[(triple3)] Bob is young.[(triple4)] Charlie is furry.[(triple5 OR ((triple6) -> rule1))] Charlie is white.[(triple6)] Erin is smart.[(triple7)] @1: Bob is furry.[(((triple3) -> rule1))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is smart.
("Bob" "is" "smart" "+")
triple2
Bob is white.
("Bob" "is" "white" "+")
triple3
Bob is young.
("Bob" "is" "young" "+")
triple4
Charlie is furry.
("Charlie" "is" "furry" "+")
triple5
((triple6) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
triple6
Erin is smart.
("Erin" "is" "smart" "+")
triple7
Bob is furry.
("Bob" "is" "furry" "+")
((triple3) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1