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