Dave is green. Dave is rough. Dave is not round. Dave is not white. Fiona is quiet. Fiona is rough. Fiona is smart. Gary is big. Gary is not green. Gary is quiet. Gary is smart. Gary is white. If someone is smart and not rough then they are not green. If Gary is not rough then Gary is smart. If someone is big and white then they are quiet. All rough, quiet people are white. If someone is rough and green then they are big. Big people are not round.
Dave is green.
("Dave" "is" "green" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is not round.
("Dave" "is" "round" "-")
Dave is not white.
("Dave" "is" "white" "-")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is not green.
("Gary" "is" "green" "-")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
If someone is smart and not rough then they are not green.
((("someone" "is" "smart" "+") ("someone" "is" "rough" "~")) -> ("someone" "is" "green" "-"))
If Gary is not rough then Gary is smart.
((("Gary" "is" "rough" "~")) -> ("Gary" "is" "smart" "+"))
If someone is big and white then they are quiet.
((("someone" "is" "big" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "quiet" "+"))
All rough, quiet people are white.
((("someone" "is" "rough" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "white" "+"))
If someone is rough and green then they are big.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
Big people are not round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "-"))
Dave is rough.
True
1
proof
[(triple2)]
("Dave" "is" "rough" "+")
triple2
Dave is white.
False
1
inv-proof
[(triple4)]
("Dave" "is" "white" "+")
triple4
Fiona is white.
True
3
proof
[(((triple6 triple5) -> rule4))]
("Fiona" "is" "white" "+")
((triple6 triple5) -> (rule4 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Gary is round.
False
2
inv-proof
[(((triple8) -> rule6))]
("Gary" "is" "round" "+")
((triple8) -> (rule6 % int1))
Gary is not round.
("Gary" "is" "round" "-")
int1
Dave is not quiet.
Unknown
inv-rconc
[@1: Dave is quiet.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "quiet" "-")
Fiona is big.
Unknown
rconc
[@1: Fiona is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fiona" "is" "big" "+")
Dave is not smart.
Unknown
inv-random
[@0: Dave is smart.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "smart" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
@0: Dave is green.[(triple1)] Dave is not round.[(triple3 OR ((((triple2 triple1) -> rule5)) -> rule6))] Dave is not white.[(triple4)] Dave is rough.[(triple2)] Fiona is quiet.[(triple5)] Fiona is rough.[(triple6)] Fiona is smart.[(triple7)] Gary is big.[(triple8)] Gary is not green.[(triple9)] Gary is quiet.[(triple10 OR ((triple8 triple12) -> rule3))] Gary is smart.[(triple11)] Gary is white.[(triple12)] @1: Dave is big.[(((triple2 triple1) -> rule5))] Fiona is white.[(((triple6 triple5) -> rule4))] Gary is not round.[(((triple8) -> rule6))]
Dave is green.
("Dave" "is" "green" "+")
triple1
Dave is not round.
("Dave" "is" "round" "-")
triple3
((((triple2 triple1) -> (rule5 % int2))) -> (rule6 % int1))
Dave is not round.
("Dave" "is" "round" "-")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is not white.
("Dave" "is" "white" "-")
triple4
Dave is rough.
("Dave" "is" "rough" "+")
triple2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple5
Fiona is rough.
("Fiona" "is" "rough" "+")
triple6
Fiona is smart.
("Fiona" "is" "smart" "+")
triple7
Gary is big.
("Gary" "is" "big" "+")
triple8
Gary is not green.
("Gary" "is" "green" "-")
triple9
Gary is quiet.
("Gary" "is" "quiet" "+")
triple10
((triple8 triple12) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
triple11
Gary is white.
("Gary" "is" "white" "+")
triple12
Dave is big.
("Dave" "is" "big" "+")
((triple2 triple1) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
((triple6 triple5) -> (rule4 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Gary is not round.
("Gary" "is" "round" "-")
((triple8) -> (rule6 % int1))
Gary is not round.
("Gary" "is" "round" "-")
int1