Anne is big. Anne is blue. Anne is kind. Anne is not round. Anne is white. Anne is young. Dave is big. Dave is kind. Dave is round. Dave is white. Fiona is big. Fiona is not blue. Fiona is kind. Fiona is red. Fiona is white. If someone is blue and not kind then they are not young. Kind people are young. All red, young people are white.
Anne is big.
("Anne" "is" "big" "+")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is not round.
("Anne" "is" "round" "-")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is white.
("Dave" "is" "white" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is not blue.
("Fiona" "is" "blue" "-")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If someone is blue and not kind then they are not young.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "young" "-"))
Kind people are young.
((("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
All red, young people are white.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "white" "+"))
Dave is white.
True
1
proof
[(triple10)]
("Dave" "is" "white" "+")
triple10
Dave is not white.
False
1
inv-proof
[(triple10)]
("Dave" "is" "white" "-")
triple10
Fiona is not round.
Unknown
inv-random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "-")
Dave is blue.
Unknown
random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "+")
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is kind.[(triple3)] Anne is not round.[(triple4)] Anne is white.[(triple5)] Anne is young.[(triple6 OR ((triple3) -> rule2))] Dave is big.[(triple7)] Dave is kind.[(triple8)] Dave is round.[(triple9)] Dave is white.[(triple10)] Fiona is big.[(triple11)] Fiona is kind.[(triple13)] Fiona is not blue.[(triple12)] Fiona is red.[(triple14)] Fiona is white.[(triple15 OR ((triple14 ((triple13) -> rule2)) -> rule3))] @1: Dave is young.[(((triple8) -> rule2))] Fiona is young.[(((triple13) -> rule2))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is blue.
("Anne" "is" "blue" "+")
triple2
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Anne is not round.
("Anne" "is" "round" "-")
triple4
Anne is white.
("Anne" "is" "white" "+")
triple5
Anne is young.
("Anne" "is" "young" "+")
triple6
((triple3) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
triple7
Dave is kind.
("Dave" "is" "kind" "+")
triple8
Dave is round.
("Dave" "is" "round" "+")
triple9
Dave is white.
("Dave" "is" "white" "+")
triple10
Fiona is big.
("Fiona" "is" "big" "+")
triple11
Fiona is kind.
("Fiona" "is" "kind" "+")
triple13
Fiona is not blue.
("Fiona" "is" "blue" "-")
triple12
Fiona is red.
("Fiona" "is" "red" "+")
triple14
Fiona is white.
("Fiona" "is" "white" "+")
triple15
((triple14 ((triple13) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
((triple8) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
((triple13) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1