Anne is green. Anne is not round. Bob is big. Charlie is green. Charlie is white. Fiona is quiet. Fiona is rough. If someone is nice and white then they are not rough. White people are not rough. If someone is rough then they are quiet. If someone is round then they are quiet. All rough, white people are quiet. If Anne is white then Anne is not quiet. If someone is round then they are white. If Charlie is not rough then Charlie is quiet.
Anne is green.
("Anne" "is" "green" "+")
Anne is not round.
("Anne" "is" "round" "-")
Bob is big.
("Bob" "is" "big" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
If someone is nice and white then they are not rough.
((("someone" "is" "nice" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "rough" "-"))
White people are not rough.
((("someone" "is" "white" "+")) -> ("someone" "is" "rough" "-"))
If someone is rough then they are quiet.
((("someone" "is" "rough" "+")) -> ("someone" "is" "quiet" "+"))
If someone is round then they are quiet.
((("someone" "is" "round" "+")) -> ("someone" "is" "quiet" "+"))
All rough, white people are quiet.
((("someone" "is" "rough" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "quiet" "+"))
If Anne is white then Anne is not quiet.
((("Anne" "is" "white" "+")) -> ("Anne" "is" "quiet" "-"))
If someone is round then they are white.
((("someone" "is" "round" "+")) -> ("someone" "is" "white" "+"))
If Charlie is not rough then Charlie is quiet.
((("Charlie" "is" "rough" "~")) -> ("Charlie" "is" "quiet" "+"))
Bob is big.
True
1
proof
[(triple3)]
("Bob" "is" "big" "+")
triple3
Fiona is not quiet.
False
1
inv-proof
[(triple6 OR ((triple7) -> rule3))]
("Fiona" "is" "quiet" "-")
triple6
((triple7) -> (rule3 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Charlie is not rough.
True
2
proof
[(((triple5) -> rule2))]
("Charlie" "is" "rough" "-")
((triple5) -> (rule2 % int1))
Charlie is not rough.
("Charlie" "is" "rough" "-")
int1
Charlie is rough.
False
2
inv-proof
[(((triple5) -> rule2))]
("Charlie" "is" "rough" "+")
((triple5) -> (rule2 % int1))
Charlie is not rough.
("Charlie" "is" "rough" "-")
int1
Charlie is quiet.
True
3
proof
[(((((triple5) -> rule2)) -> rule8))]
("Charlie" "is" "quiet" "+")
((((triple5) -> (rule2 % int2))) -> (rule8 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is not rough.
("Charlie" "is" "rough" "-")
int2
Charlie is not quiet.
False
3
inv-proof
[(((((triple5) -> rule2)) -> rule8))]
("Charlie" "is" "quiet" "-")
((((triple5) -> (rule2 % int2))) -> (rule8 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is not rough.
("Charlie" "is" "rough" "-")
int2
Anne is not quiet.
Unknown
inv-rconc
[@1: Anne is quiet.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Anne" "is" "quiet" "-")
Fiona is white.
Unknown
rconc
[@1: Fiona is white.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Fiona" "is" "white" "+")
Bob is not white.
Unknown
inv-rconc
[@1: Bob is white.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Bob" "is" "white" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Fiona is round.
Unknown
random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "+")
@0: Anne is green.[(triple1)] Anne is not round.[(triple2)] Bob is big.[(triple3)] Charlie is green.[(triple4)] Charlie is white.[(triple5)] Fiona is quiet.[(triple6 OR ((triple7) -> rule3))] Fiona is rough.[(triple7)] @1: Charlie is not rough.[(((triple5) -> rule2))] @2: Charlie is quiet.[(((((triple5) -> rule2)) -> rule8))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is not round.
("Anne" "is" "round" "-")
triple2
Bob is big.
("Bob" "is" "big" "+")
triple3
Charlie is green.
("Charlie" "is" "green" "+")
triple4
Charlie is white.
("Charlie" "is" "white" "+")
triple5
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple6
((triple7) -> (rule3 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
triple7
Charlie is not rough.
("Charlie" "is" "rough" "-")
((triple5) -> (rule2 % int1))
Charlie is not rough.
("Charlie" "is" "rough" "-")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((((triple5) -> (rule2 % int2))) -> (rule8 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is not rough.
("Charlie" "is" "rough" "-")
int2