Bob is nice. Erin is round. Fiona is furry. Gary is nice. All quiet, nice things are not round. If something is furry then it is red. If something is cold then it is nice. If Fiona is cold then Fiona is furry. Cold things are young. If Bob is not young then Bob is round.
Bob is nice.
("Bob" "is" "nice" "+")
Erin is round.
("Erin" "is" "round" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Gary is nice.
("Gary" "is" "nice" "+")
All quiet, nice things are not round.
((("something" "is" "quiet" "+") ("something" "is" "nice" "+")) -> ("something" "is" "round" "-"))
If something is furry then it is red.
((("something" "is" "furry" "+")) -> ("something" "is" "red" "+"))
If something is cold then it is nice.
((("something" "is" "cold" "+")) -> ("something" "is" "nice" "+"))
If Fiona is cold then Fiona is furry.
((("Fiona" "is" "cold" "+")) -> ("Fiona" "is" "furry" "+"))
Cold things are young.
((("something" "is" "cold" "+")) -> ("something" "is" "young" "+"))
If Bob is not young then Bob is round.
((("Bob" "is" "young" "~")) -> ("Bob" "is" "round" "+"))
Fiona is furry.
True
1
proof
[(triple3)]
("Fiona" "is" "furry" "+")
triple3
Bob is not nice.
False
1
inv-proof
[(triple1)]
("Bob" "is" "nice" "-")
triple1
Fiona is red.
True
2
proof
[(((triple3) -> rule2))]
("Fiona" "is" "red" "+")
((triple3) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is not red.
False
2
inv-proof
[(((triple3) -> rule2))]
("Fiona" "is" "red" "-")
((triple3) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Gary is not red.
Unknown
inv-rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "red" "-")
Fiona is nice.
Unknown
rconc
[@1: Fiona is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "nice" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
@0: Bob is nice.[(triple1)] Erin is round.[(triple2)] Fiona is furry.[(triple3)] Gary is nice.[(triple4)] @1: Fiona is red.[(((triple3) -> rule2))]
Bob is nice.
("Bob" "is" "nice" "+")
triple1
Erin is round.
("Erin" "is" "round" "+")
triple2
Fiona is furry.
("Fiona" "is" "furry" "+")
triple3
Gary is nice.
("Gary" "is" "nice" "+")
triple4
Fiona is red.
("Fiona" "is" "red" "+")
((triple3) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1