Erin is blue. Erin is not cold. Erin is furry. Erin is quiet. Erin is red. Fiona is blue. Fiona is not cold. Fiona is furry. Fiona is quiet. Fiona is red. Fiona is round. Fiona is white. If something is furry then it is blue.
Erin is blue.
("Erin" "is" "blue" "+")
Erin is not cold.
("Erin" "is" "cold" "-")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is red.
("Erin" "is" "red" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is not cold.
("Fiona" "is" "cold" "-")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If something is furry then it is blue.
((("something" "is" "furry" "+")) -> ("something" "is" "blue" "+"))
Fiona is blue.
True
1
proof
[(triple6 OR ((triple8) -> rule1))]
("Fiona" "is" "blue" "+")
triple6
((triple8) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Erin is not quiet.
False
1
inv-proof
[(triple4)]
("Erin" "is" "quiet" "-")
triple4
Erin is not white.
Unknown
inv-random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "-")
Erin is round.
Unknown
random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "+")
@0: Erin is blue.[(triple1 OR ((triple3) -> rule1))] Erin is furry.[(triple3)] Erin is not cold.[(triple2)] Erin is quiet.[(triple4)] Erin is red.[(triple5)] Fiona is blue.[(triple6 OR ((triple8) -> rule1))] Fiona is furry.[(triple8)] Fiona is not cold.[(triple7)] Fiona is quiet.[(triple9)] Fiona is red.[(triple10)] Fiona is round.[(triple11)] Fiona is white.[(triple12)]
Erin is blue.
("Erin" "is" "blue" "+")
triple1
((triple3) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
triple3
Erin is not cold.
("Erin" "is" "cold" "-")
triple2
Erin is quiet.
("Erin" "is" "quiet" "+")
triple4
Erin is red.
("Erin" "is" "red" "+")
triple5
Fiona is blue.
("Fiona" "is" "blue" "+")
triple6
((triple8) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple8
Fiona is not cold.
("Fiona" "is" "cold" "-")
triple7
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple9
Fiona is red.
("Fiona" "is" "red" "+")
triple10
Fiona is round.
("Fiona" "is" "round" "+")
triple11
Fiona is white.
("Fiona" "is" "white" "+")
triple12