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