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