Anne is not blue. Anne is quiet. Anne is red. Anne is young. Charlie is big. Charlie is blue. Charlie is not kind. Charlie is quiet. Charlie is red. Charlie is not round. Charlie is young. Fiona is blue. Fiona is not kind. Fiona is quiet. Fiona is red. Fiona is round. Red people are young. Kind people are blue.
Anne is not blue.
("Anne" "is" "blue" "-")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is young.
("Anne" "is" "young" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is not kind.
("Charlie" "is" "kind" "-")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is not round.
("Charlie" "is" "round" "-")
Charlie is young.
("Charlie" "is" "young" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is not kind.
("Fiona" "is" "kind" "-")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Red people are young.
((("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
Kind people are blue.
((("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
Charlie is big.
True
1
proof
[(triple5)]
("Charlie" "is" "big" "+")
triple5
Charlie is not red.
False
1
inv-proof
[(triple9)]
("Charlie" "is" "red" "-")
triple9
Fiona is young.
True
2
proof
[(((triple15) -> rule1))]
("Fiona" "is" "young" "+")
((triple15) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is not young.
False
2
inv-proof
[(((triple15) -> rule1))]
("Fiona" "is" "young" "-")
((triple15) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Anne is not round.
Unknown
inv-random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "-")
Anne is big.
Unknown
random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "+")
Fiona is not big.
Unknown
inv-random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "-")
Anne is kind.
Unknown
random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "+")
@0: Anne is not blue.[(triple1)] Anne is quiet.[(triple2)] Anne is red.[(triple3)] Anne is young.[(triple4 OR ((triple3) -> rule1))] Charlie is big.[(triple5)] Charlie is blue.[(triple6)] Charlie is not kind.[(triple7)] Charlie is not round.[(triple10)] Charlie is quiet.[(triple8)] Charlie is red.[(triple9)] Charlie is young.[(triple11 OR ((triple9) -> rule1))] Fiona is blue.[(triple12)] Fiona is not kind.[(triple13)] Fiona is quiet.[(triple14)] Fiona is red.[(triple15)] Fiona is round.[(triple16)] @1: Fiona is young.[(((triple15) -> rule1))]
Anne is not blue.
("Anne" "is" "blue" "-")
triple1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Anne is red.
("Anne" "is" "red" "+")
triple3
Anne is young.
("Anne" "is" "young" "+")
triple4
((triple3) -> (rule1 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
triple5
Charlie is blue.
("Charlie" "is" "blue" "+")
triple6
Charlie is not kind.
("Charlie" "is" "kind" "-")
triple7
Charlie is not round.
("Charlie" "is" "round" "-")
triple10
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple8
Charlie is red.
("Charlie" "is" "red" "+")
triple9
Charlie is young.
("Charlie" "is" "young" "+")
triple11
((triple9) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
triple12
Fiona is not kind.
("Fiona" "is" "kind" "-")
triple13
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple14
Fiona is red.
("Fiona" "is" "red" "+")
triple15
Fiona is round.
("Fiona" "is" "round" "+")
triple16
Fiona is young.
("Fiona" "is" "young" "+")
((triple15) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1