Bob is quiet. Bob is rough. Charlie is quiet. Erin is not big. Erin is rough. Fiona is quiet. Fiona is round. If something is round then it is white. All kind things are not big.
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Erin is not big.
("Erin" "is" "big" "-")
Erin is rough.
("Erin" "is" "rough" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is round.
("Fiona" "is" "round" "+")
If something is round then it is white.
((("something" "is" "round" "+")) -> ("something" "is" "white" "+"))
All kind things are not big.
((("something" "is" "kind" "+")) -> ("something" "is" "big" "-"))
Charlie is quiet.
True
1
proof
[(triple3)]
("Charlie" "is" "quiet" "+")
triple3
Bob is not rough.
False
1
inv-proof
[(triple2)]
("Bob" "is" "rough" "-")
triple2
Bob is not white.
Unknown
inv-rconc
[@1: Bob is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "white" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
@0: Bob is quiet.[(triple1)] Bob is rough.[(triple2)] Charlie is quiet.[(triple3)] Erin is not big.[(triple4)] Erin is rough.[(triple5)] Fiona is quiet.[(triple6)] Fiona is round.[(triple7)] @1: Fiona is white.[(((triple7) -> rule1))]
Bob is quiet.
("Bob" "is" "quiet" "+")
triple1
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple3
Erin is not big.
("Erin" "is" "big" "-")
triple4
Erin is rough.
("Erin" "is" "rough" "+")
triple5
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple6
Fiona is round.
("Fiona" "is" "round" "+")
triple7
Fiona is white.
("Fiona" "is" "white" "+")
((triple7) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1