Bob is big. Charlie is furry. Charlie is rough. Charlie is young. Erin is big. Erin is blue. Erin is not quiet. If Charlie is big and Charlie is quiet then Charlie is not furry. If someone is rough then they are quiet. If someone is blue and not quiet then they are furry.
Bob is big.
("Bob" "is" "big" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is not quiet.
("Erin" "is" "quiet" "-")
If Charlie is big and Charlie is quiet then Charlie is not furry.
((("Charlie" "is" "big" "+") ("Charlie" "is" "quiet" "+")) -> ("Charlie" "is" "furry" "-"))
If someone is rough then they are quiet.
((("someone" "is" "rough" "+")) -> ("someone" "is" "quiet" "+"))
If someone is blue and not quiet then they are furry.
((("someone" "is" "blue" "+") ("someone" "is" "quiet" "~")) -> ("someone" "is" "furry" "+"))
Charlie is young.
True
1
proof
[(triple4)]
("Charlie" "is" "young" "+")
triple4
Charlie is not young.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "young" "-")
triple4
Erin is furry.
True
3
proof
[(((triple6 triple7) -> rule3))]
("Erin" "is" "furry" "+")
((triple6 triple7) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Charlie is not quiet.
False
2
inv-proof
[(((triple3) -> rule2))]
("Charlie" "is" "quiet" "-")
((triple3) -> (rule2 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Bob is not furry.
Unknown
inv-rconc
[@1: Bob is furry.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "furry" "-")
Bob is quiet.
Unknown
rconc
[@1: Bob is quiet.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "quiet" "+")
Charlie is not blue.
Unknown
inv-random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "-")
Erin is rough.
Unknown
random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "+")
@0: Bob is big.[(triple1)] Charlie is furry.[(triple2)] Charlie is rough.[(triple3)] Charlie is young.[(triple4)] Erin is big.[(triple5)] Erin is blue.[(triple6)] Erin is not quiet.[(triple7)] @1: Charlie is quiet.[(((triple3) -> rule2))] Erin is furry.[(((triple6 triple7) -> rule3))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Charlie is furry.
("Charlie" "is" "furry" "+")
triple2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
Charlie is young.
("Charlie" "is" "young" "+")
triple4
Erin is big.
("Erin" "is" "big" "+")
triple5
Erin is blue.
("Erin" "is" "blue" "+")
triple6
Erin is not quiet.
("Erin" "is" "quiet" "-")
triple7
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((triple3) -> (rule2 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
((triple6 triple7) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1