Dave is big. Dave is green. Dave is round. Dave is white. Erin is big. Erin is not cold. Erin is green. Erin is kind. Erin is rough. Erin is white. If something is round then it is big. If Dave is not kind then Dave is big. If something is big then it is round.
Dave is big.
("Dave" "is" "big" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is white.
("Dave" "is" "white" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is not cold.
("Erin" "is" "cold" "-")
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is white.
("Erin" "is" "white" "+")
If something is round then it is big.
((("something" "is" "round" "+")) -> ("something" "is" "big" "+"))
If Dave is not kind then Dave is big.
((("Dave" "is" "kind" "~")) -> ("Dave" "is" "big" "+"))
If something is big then it is round.
((("something" "is" "big" "+")) -> ("something" "is" "round" "+"))
Erin is not cold.
True
1
proof
[(triple6)]
("Erin" "is" "cold" "-")
triple6
Dave is not big.
False
1
inv-proof
[(triple1 OR ((triple3) -> rule1))]
("Dave" "is" "big" "-")
triple1
((triple3) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is not rough.
Unknown
inv-random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
@0: Dave is big.[(triple1 OR ((triple3) -> rule1))] Dave is green.[(triple2)] Dave is round.[(triple3 OR ((triple1) -> rule3))] Dave is white.[(triple4)] Erin is big.[(triple5)] Erin is green.[(triple7)] Erin is kind.[(triple8)] Erin is not cold.[(triple6)] Erin is rough.[(triple9)] Erin is white.[(triple10)] @1: Erin is round.[(((triple5) -> rule3))]
Dave is big.
("Dave" "is" "big" "+")
triple1
((triple3) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
triple2
Dave is round.
("Dave" "is" "round" "+")
triple3
((triple1) -> (rule3 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
triple4
Erin is big.
("Erin" "is" "big" "+")
triple5
Erin is green.
("Erin" "is" "green" "+")
triple7
Erin is kind.
("Erin" "is" "kind" "+")
triple8
Erin is not cold.
("Erin" "is" "cold" "-")
triple6
Erin is rough.
("Erin" "is" "rough" "+")
triple9
Erin is white.
("Erin" "is" "white" "+")
triple10
Erin is round.
("Erin" "is" "round" "+")
((triple5) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1