Anne is blue. Anne is quiet. Anne is white. Charlie is blue. Charlie is rough. Charlie is not round. Dave is blue. Dave is rough. Dave is smart. Fiona is blue. Fiona is rough. Fiona is round. Fiona is smart. Fiona is white. Fiona is young. Blue things are rough. All quiet, smart things are not young. All blue, quiet things are not young.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is white.
("Anne" "is" "white" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is not round.
("Charlie" "is" "round" "-")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Blue things are rough.
((("something" "is" "blue" "+")) -> ("something" "is" "rough" "+"))
All quiet, smart things are not young.
((("something" "is" "quiet" "+") ("something" "is" "smart" "+")) -> ("something" "is" "young" "-"))
All blue, quiet things are not young.
((("something" "is" "blue" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "young" "-"))
Dave is smart.
True
1
proof
[(triple9)]
("Dave" "is" "smart" "+")
triple9
Dave is not rough.
False
1
inv-proof
[(triple8 OR ((triple7) -> rule1))]
("Dave" "is" "rough" "-")
triple8
((triple7) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Anne is not round.
Unknown
inv-random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
@0: Anne is blue.[(triple1)] Anne is quiet.[(triple2)] Anne is white.[(triple3)] Charlie is blue.[(triple4)] Charlie is not round.[(triple6)] Charlie is rough.[(triple5 OR ((triple4) -> rule1))] Dave is blue.[(triple7)] Dave is rough.[(triple8 OR ((triple7) -> rule1))] Dave is smart.[(triple9)] Fiona is blue.[(triple10)] Fiona is rough.[(triple11 OR ((triple10) -> rule1))] Fiona is round.[(triple12)] Fiona is smart.[(triple13)] Fiona is white.[(triple14)] Fiona is young.[(triple15)] @1: Anne is not young.[(((triple1 triple2) -> rule3))] Anne is rough.[(((triple1) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Anne is white.
("Anne" "is" "white" "+")
triple3
Charlie is blue.
("Charlie" "is" "blue" "+")
triple4
Charlie is not round.
("Charlie" "is" "round" "-")
triple6
Charlie is rough.
("Charlie" "is" "rough" "+")
triple5
((triple4) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
triple7
Dave is rough.
("Dave" "is" "rough" "+")
triple8
((triple7) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
triple9
Fiona is blue.
("Fiona" "is" "blue" "+")
triple10
Fiona is rough.
("Fiona" "is" "rough" "+")
triple11
((triple10) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
triple12
Fiona is smart.
("Fiona" "is" "smart" "+")
triple13
Fiona is white.
("Fiona" "is" "white" "+")
triple14
Fiona is young.
("Fiona" "is" "young" "+")
triple15
Anne is not young.
("Anne" "is" "young" "-")
((triple1 triple2) -> (rule3 % int1))
Anne is not young.
("Anne" "is" "young" "-")
int1
Anne is rough.
("Anne" "is" "rough" "+")
((triple1) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1