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