Charlie is big. Charlie is furry. Charlie is white. Dave is big. Dave is not round. Dave is white. Erin is big. Erin is furry. Erin is not nice. Erin is not red. Erin is rough. Erin is white. Fiona is big. Fiona is nice. Fiona is not white. All big things are rough. If something is red then it is big. If Erin is rough and Erin is red then Erin is nice. If Dave is not big then Dave is white. If Dave is nice then Dave is round. If something is round then it is nice. If something is big and not rough then it is nice. If something is nice and not furry then it is white.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is not round.
("Dave" "is" "round" "-")
Dave is white.
("Dave" "is" "white" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is not nice.
("Erin" "is" "nice" "-")
Erin is not red.
("Erin" "is" "red" "-")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is not white.
("Fiona" "is" "white" "-")
All big things are rough.
((("something" "is" "big" "+")) -> ("something" "is" "rough" "+"))
If something is red then it is big.
((("something" "is" "red" "+")) -> ("something" "is" "big" "+"))
If Erin is rough and Erin is red then Erin is nice.
((("Erin" "is" "rough" "+") ("Erin" "is" "red" "+")) -> ("Erin" "is" "nice" "+"))
If Dave is not big then Dave is white.
((("Dave" "is" "big" "~")) -> ("Dave" "is" "white" "+"))
If Dave is nice then Dave is round.
((("Dave" "is" "nice" "+")) -> ("Dave" "is" "round" "+"))
If something is round then it is nice.
((("something" "is" "round" "+")) -> ("something" "is" "nice" "+"))
If something is big and not rough then it is nice.
((("something" "is" "big" "+") ("something" "is" "rough" "~")) -> ("something" "is" "nice" "+"))
If something is nice and not furry then it is white.
((("something" "is" "nice" "+") ("something" "is" "furry" "~")) -> ("something" "is" "white" "+"))
Fiona is big.
True
1
proof
[(triple13)]
("Fiona" "is" "big" "+")
triple13
Dave is round.
False
1
inv-proof
[(triple5)]
("Dave" "is" "round" "+")
triple5
Dave is not nice.
Unknown
inv-rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Dave" "is" "nice" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
@0: Charlie is big.[(triple1)] Charlie is furry.[(triple2)] Charlie is white.[(triple3)] Dave is big.[(triple4)] Dave is not round.[(triple5)] Dave is white.[(triple6)] Erin is big.[(triple7)] Erin is furry.[(triple8)] Erin is not nice.[(triple9)] Erin is not red.[(triple10)] Erin is rough.[(triple11 OR ((triple7) -> rule1))] Erin is white.[(triple12)] Fiona is big.[(triple13)] Fiona is nice.[(triple14)] Fiona is not white.[(triple15)] @1: Charlie is rough.[(((triple1) -> rule1))] Dave is rough.[(((triple4) -> rule1))] Fiona is rough.[(((triple13) -> rule1))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Charlie is furry.
("Charlie" "is" "furry" "+")
triple2
Charlie is white.
("Charlie" "is" "white" "+")
triple3
Dave is big.
("Dave" "is" "big" "+")
triple4
Dave is not round.
("Dave" "is" "round" "-")
triple5
Dave is white.
("Dave" "is" "white" "+")
triple6
Erin is big.
("Erin" "is" "big" "+")
triple7
Erin is furry.
("Erin" "is" "furry" "+")
triple8
Erin is not nice.
("Erin" "is" "nice" "-")
triple9
Erin is not red.
("Erin" "is" "red" "-")
triple10
Erin is rough.
("Erin" "is" "rough" "+")
triple11
((triple7) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
triple12
Fiona is big.
("Fiona" "is" "big" "+")
triple13
Fiona is nice.
("Fiona" "is" "nice" "+")
triple14
Fiona is not white.
("Fiona" "is" "white" "-")
triple15
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple1) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
((triple4) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple13) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1