Dave is white. Fiona is big. Fiona is rough. Fiona is white. Gary is kind. Gary is rough. Gary is round. Gary is white. Harry is green. Harry is kind. Harry is nice. Harry is white. If Harry is big and Harry is round then Harry is green. If Dave is white then Dave is big.
Dave is white.
("Dave" "is" "white" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is white.
("Gary" "is" "white" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is white.
("Harry" "is" "white" "+")
If Harry is big and Harry is round then Harry is green.
((("Harry" "is" "big" "+") ("Harry" "is" "round" "+")) -> ("Harry" "is" "green" "+"))
If Dave is white then Dave is big.
((("Dave" "is" "white" "+")) -> ("Dave" "is" "big" "+"))
Fiona is white.
True
1
proof
[(triple4)]
("Fiona" "is" "white" "+")
triple4
Gary is not round.
False
1
inv-proof
[(triple7)]
("Gary" "is" "round" "-")
triple7
Dave is not green.
Unknown
inv-random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
@0: Dave is white.[(triple1)] Fiona is big.[(triple2)] Fiona is rough.[(triple3)] Fiona is white.[(triple4)] Gary is kind.[(triple5)] Gary is rough.[(triple6)] Gary is round.[(triple7)] Gary is white.[(triple8)] Harry is green.[(triple9)] Harry is kind.[(triple10)] Harry is nice.[(triple11)] Harry is white.[(triple12)] @1: Dave is big.[(((triple1) -> rule2))]
Dave is white.
("Dave" "is" "white" "+")
triple1
Fiona is big.
("Fiona" "is" "big" "+")
triple2
Fiona is rough.
("Fiona" "is" "rough" "+")
triple3
Fiona is white.
("Fiona" "is" "white" "+")
triple4
Gary is kind.
("Gary" "is" "kind" "+")
triple5
Gary is rough.
("Gary" "is" "rough" "+")
triple6
Gary is round.
("Gary" "is" "round" "+")
triple7
Gary is white.
("Gary" "is" "white" "+")
triple8
Harry is green.
("Harry" "is" "green" "+")
triple9
Harry is kind.
("Harry" "is" "kind" "+")
triple10
Harry is nice.
("Harry" "is" "nice" "+")
triple11
Harry is white.
("Harry" "is" "white" "+")
triple12
Dave is big.
("Dave" "is" "big" "+")
((triple1) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1