Anne is green. Anne is nice. Anne is white. Charlie is blue. Charlie is green. Charlie is quiet. Charlie is smart. Fiona is big. Fiona is green. Fiona is white. All green, white people are blue.
Anne is green.
("Anne" "is" "green" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is white.
("Anne" "is" "white" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is white.
("Fiona" "is" "white" "+")
All green, white people are blue.
((("someone" "is" "green" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "blue" "+"))
Fiona is white.
True
1
proof
[(triple10)]
("Fiona" "is" "white" "+")
triple10
Anne is not nice.
False
1
inv-proof
[(triple2)]
("Anne" "is" "nice" "-")
triple2
Fiona is blue.
True
3
proof
[(((triple9 triple10) -> rule1))]
("Fiona" "is" "blue" "+")
((triple9 triple10) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is not blue.
False
3
inv-proof
[(((triple9 triple10) -> rule1))]
("Fiona" "is" "blue" "-")
((triple9 triple10) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is not smart.
Unknown
inv-random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "-")
Anne is smart.
Unknown
random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "+")
Fiona is not nice.
Unknown
inv-random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "-")
Anne is big.
Unknown
random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "+")
@0: Anne is green.[(triple1)] Anne is nice.[(triple2)] Anne is white.[(triple3)] Charlie is blue.[(triple4)] Charlie is green.[(triple5)] Charlie is quiet.[(triple6)] Charlie is smart.[(triple7)] Fiona is big.[(triple8)] Fiona is green.[(triple9)] Fiona is white.[(triple10)] @1: Anne is blue.[(((triple1 triple3) -> rule1))] Fiona is blue.[(((triple9 triple10) -> rule1))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is white.
("Anne" "is" "white" "+")
triple3
Charlie is blue.
("Charlie" "is" "blue" "+")
triple4
Charlie is green.
("Charlie" "is" "green" "+")
triple5
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple6
Charlie is smart.
("Charlie" "is" "smart" "+")
triple7
Fiona is big.
("Fiona" "is" "big" "+")
triple8
Fiona is green.
("Fiona" "is" "green" "+")
triple9
Fiona is white.
("Fiona" "is" "white" "+")
triple10
Anne is blue.
("Anne" "is" "blue" "+")
((triple1 triple3) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple9 triple10) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1