Bob is not cold. Bob is quiet. Bob is not rough. Bob is smart. Bob is white. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is not quiet. Fiona is rough. If something is white and not rough then it is not furry. If something is quiet and not furry then it is smart.
Bob is not cold.
("Bob" "is" "cold" "-")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is not rough.
("Bob" "is" "rough" "-")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is white.
("Bob" "is" "white" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
Fiona is rough.
("Fiona" "is" "rough" "+")
If something is white and not rough then it is not furry.
((("something" "is" "white" "+") ("something" "is" "rough" "~")) -> ("something" "is" "furry" "-"))
If something is quiet and not furry then it is smart.
((("something" "is" "quiet" "+") ("something" "is" "furry" "~")) -> ("something" "is" "smart" "+"))
Fiona is furry.
True
1
proof
[(triple8)]
("Fiona" "is" "furry" "+")
triple8
Fiona is not blue.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "blue" "-")
triple6
Bob is not furry.
True
3
proof
[(((triple5 triple3) -> rule1))]
("Bob" "is" "furry" "-")
((triple5 triple3) -> (rule1 % int1))
Bob is not furry.
("Bob" "is" "furry" "-")
int1
Bob is furry.
False
3
inv-proof
[(((triple5 triple3) -> rule1))]
("Bob" "is" "furry" "+")
((triple5 triple3) -> (rule1 % int1))
Bob is not furry.
("Bob" "is" "furry" "-")
int1
Fiona is not smart.
Unknown
inv-rconc
[@1: Fiona is smart.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "smart" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
@0: Bob is not cold.[(triple1)] Bob is not rough.[(triple3)] Bob is quiet.[(triple2)] Bob is smart.[(triple4 OR ((triple2 ((triple5 triple3) -> rule1)) -> rule2))] Bob is white.[(triple5)] Fiona is blue.[(triple6)] Fiona is cold.[(triple7)] Fiona is furry.[(triple8)] Fiona is not quiet.[(triple9)] Fiona is rough.[(triple10)] @1: Bob is not furry.[(((triple5 triple3) -> rule1))]
Bob is not cold.
("Bob" "is" "cold" "-")
triple1
Bob is not rough.
("Bob" "is" "rough" "-")
triple3
Bob is quiet.
("Bob" "is" "quiet" "+")
triple2
Bob is smart.
("Bob" "is" "smart" "+")
triple4
((triple2 ((triple5 triple3) -> (rule1 % int2))) -> (rule2 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is not furry.
("Bob" "is" "furry" "-")
int2
Bob is white.
("Bob" "is" "white" "+")
triple5
Fiona is blue.
("Fiona" "is" "blue" "+")
triple6
Fiona is cold.
("Fiona" "is" "cold" "+")
triple7
Fiona is furry.
("Fiona" "is" "furry" "+")
triple8
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
triple9
Fiona is rough.
("Fiona" "is" "rough" "+")
triple10
Bob is not furry.
("Bob" "is" "furry" "-")
((triple5 triple3) -> (rule1 % int1))
Bob is not furry.
("Bob" "is" "furry" "-")
int1