Bob is big. Bob is quiet. Bob is red. Bob is rough. Dave is not blue. Dave is round. Erin is blue. Fiona is blue. Fiona is quiet. Fiona is rough. Fiona is round. Fiona is young. If Fiona is quiet then Fiona is red. If Fiona is round and Fiona is not quiet then Fiona is not red. If Bob is quiet and Bob is not rough then Bob is not red. If something is quiet and not young then it is round. If something is blue and not quiet then it is round. If Erin is quiet and Erin is not rough then Erin is round. If something is young then it is big. If something is round and not big then it is red.
Bob is big.
("Bob" "is" "big" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Dave is not blue.
("Dave" "is" "blue" "-")
Dave is round.
("Dave" "is" "round" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If Fiona is quiet then Fiona is red.
((("Fiona" "is" "quiet" "+")) -> ("Fiona" "is" "red" "+"))
If Fiona is round and Fiona is not quiet then Fiona is not red.
((("Fiona" "is" "round" "+") ("Fiona" "is" "quiet" "~")) -> ("Fiona" "is" "red" "-"))
If Bob is quiet and Bob is not rough then Bob is not red.
((("Bob" "is" "quiet" "+") ("Bob" "is" "rough" "~")) -> ("Bob" "is" "red" "-"))
If something is quiet and not young then it is round.
((("something" "is" "quiet" "+") ("something" "is" "young" "~")) -> ("something" "is" "round" "+"))
If something is blue and not quiet then it is round.
((("something" "is" "blue" "+") ("something" "is" "quiet" "~")) -> ("something" "is" "round" "+"))
If Erin is quiet and Erin is not rough then Erin is round.
((("Erin" "is" "quiet" "+") ("Erin" "is" "rough" "~")) -> ("Erin" "is" "round" "+"))
If something is young then it is big.
((("something" "is" "young" "+")) -> ("something" "is" "big" "+"))
If something is round and not big then it is red.
((("something" "is" "round" "+") ("something" "is" "big" "~")) -> ("something" "is" "red" "+"))
Fiona is blue.
True
1
proof
[(triple8)]
("Fiona" "is" "blue" "+")
triple8
Dave is not round.
False
1
inv-proof
[(triple6)]
("Dave" "is" "round" "-")
triple6
Erin is not big.
Unknown
inv-rconc
[@1: Erin is big.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Erin" "is" "big" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
@0: Bob is big.[(triple1)] Bob is quiet.[(triple2)] Bob is red.[(triple3)] Bob is rough.[(triple4)] Dave is not blue.[(triple5)] Dave is round.[(triple6)] Erin is blue.[(triple7)] Fiona is blue.[(triple8)] Fiona is quiet.[(triple9)] Fiona is rough.[(triple10)] Fiona is round.[(triple11)] Fiona is young.[(triple12)] @1: Fiona is big.[(((triple12) -> rule7))] Fiona is red.[(((triple9) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is quiet.
("Bob" "is" "quiet" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple4
Dave is not blue.
("Dave" "is" "blue" "-")
triple5
Dave is round.
("Dave" "is" "round" "+")
triple6
Erin is blue.
("Erin" "is" "blue" "+")
triple7
Fiona is blue.
("Fiona" "is" "blue" "+")
triple8
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple9
Fiona is rough.
("Fiona" "is" "rough" "+")
triple10
Fiona is round.
("Fiona" "is" "round" "+")
triple11
Fiona is young.
("Fiona" "is" "young" "+")
triple12
Fiona is big.
("Fiona" "is" "big" "+")
((triple12) -> (rule7 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
((triple9) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1