Bob is rough. Bob is round. Bob is young. Erin is rough. Fiona is green. Fiona is round. Fiona is young. If something is round and quiet then it is rough. If something is quiet and nice then it is rough. If Bob is nice and Bob is not round then Bob is white. Rough things are quiet. If Fiona is white and Fiona is not round then Fiona is not green. If something is round and not green then it is not young.
Bob is rough.
("Bob" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is young.
("Bob" "is" "young" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If something is round and quiet then it is rough.
((("something" "is" "round" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "rough" "+"))
If something is quiet and nice then it is rough.
((("something" "is" "quiet" "+") ("something" "is" "nice" "+")) -> ("something" "is" "rough" "+"))
If Bob is nice and Bob is not round then Bob is white.
((("Bob" "is" "nice" "+") ("Bob" "is" "round" "~")) -> ("Bob" "is" "white" "+"))
Rough things are quiet.
((("something" "is" "rough" "+")) -> ("something" "is" "quiet" "+"))
If Fiona is white and Fiona is not round then Fiona is not green.
((("Fiona" "is" "white" "+") ("Fiona" "is" "round" "~")) -> ("Fiona" "is" "green" "-"))
If something is round and not green then it is not young.
((("something" "is" "round" "+") ("something" "is" "green" "~")) -> ("something" "is" "young" "-"))
Fiona is round.
True
1
proof
[(triple6)]
("Fiona" "is" "round" "+")
triple6
Fiona is not round.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "round" "-")
triple6
Bob is quiet.
True
2
proof
[(((triple1) -> rule4))]
("Bob" "is" "quiet" "+")
((triple1) -> (rule4 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is not quiet.
False
2
inv-proof
[(((triple1) -> rule4))]
("Bob" "is" "quiet" "-")
((triple1) -> (rule4 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Fiona is not quiet.
Unknown
inv-rconc
[@2: Fiona is quiet.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("Fiona" "is" "quiet" "-")
Fiona is rough.
Unknown
rconc
[@3: Fiona is rough.[CWA. Example of deepest failure = (rule1 <- rule4 <- rule2 <- FAIL)]]
("Fiona" "is" "rough" "+")
Erin is not nice.
Unknown
inv-random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
@0: Bob is rough.[(triple1)] Bob is round.[(triple2)] Bob is young.[(triple3)] Erin is rough.[(triple4)] Fiona is green.[(triple5)] Fiona is round.[(triple6)] Fiona is young.[(triple7)] @1: Bob is quiet.[(((triple1) -> rule4))] Erin is quiet.[(((triple4) -> rule4))]
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Bob is round.
("Bob" "is" "round" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple3
Erin is rough.
("Erin" "is" "rough" "+")
triple4
Fiona is green.
("Fiona" "is" "green" "+")
triple5
Fiona is round.
("Fiona" "is" "round" "+")
triple6
Fiona is young.
("Fiona" "is" "young" "+")
triple7
Bob is quiet.
("Bob" "is" "quiet" "+")
((triple1) -> (rule4 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
((triple4) -> (rule4 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1