Bob is cold. Charlie is furry. Dave is furry. Dave is quiet. Erin is cold. Erin is furry. Erin is young. Nice people are furry. All quiet people are cold. If someone is quiet then they are nice.
Bob is cold.
("Bob" "is" "cold" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is young.
("Erin" "is" "young" "+")
Nice people are furry.
((("someone" "is" "nice" "+")) -> ("someone" "is" "furry" "+"))
All quiet people are cold.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "cold" "+"))
If someone is quiet then they are nice.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "nice" "+"))
Dave is furry.
True
1
proof
[(triple3 OR ((((triple4) -> rule3)) -> rule1))]
("Dave" "is" "furry" "+")
triple3
((((triple4) -> (rule3 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Erin is not furry.
False
1
inv-proof
[(triple6)]
("Erin" "is" "furry" "-")
triple6
Dave is nice.
True
2
proof
[(((triple4) -> rule3))]
("Dave" "is" "nice" "+")
((triple4) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is not nice.
False
2
inv-proof
[(((triple4) -> rule3))]
("Dave" "is" "nice" "-")
((triple4) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Bob is not nice.
Unknown
inv-rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "nice" "-")
Charlie is cold.
Unknown
rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "cold" "+")
Dave is not red.
Unknown
inv-random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
@0: Bob is cold.[(triple1)] Charlie is furry.[(triple2)] Dave is furry.[(triple3 OR ((((triple4) -> rule3)) -> rule1))] Dave is quiet.[(triple4)] Erin is cold.[(triple5)] Erin is furry.[(triple6)] Erin is young.[(triple7)] @1: Dave is cold.[(((triple4) -> rule2))] Dave is nice.[(((triple4) -> rule3))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Charlie is furry.
("Charlie" "is" "furry" "+")
triple2
Dave is furry.
("Dave" "is" "furry" "+")
triple3
((((triple4) -> (rule3 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
triple4
Erin is cold.
("Erin" "is" "cold" "+")
triple5
Erin is furry.
("Erin" "is" "furry" "+")
triple6
Erin is young.
("Erin" "is" "young" "+")
triple7
Dave is cold.
("Dave" "is" "cold" "+")
((triple4) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
((triple4) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1