Erin is cold. Erin is furry. Erin is green. Erin is nice. Erin is rough. Fiona is furry. Fiona is green. Fiona is kind. Fiona is nice. Fiona is red. If someone is red then they are cold. All furry people are green.
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
If someone is red then they are cold.
((("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
All furry people are green.
((("someone" "is" "furry" "+")) -> ("someone" "is" "green" "+"))
Fiona is furry.
True
1
proof
[(triple6)]
("Fiona" "is" "furry" "+")
triple6
Fiona is not green.
False
1
inv-proof
[(triple7 OR ((triple6) -> rule2))]
("Fiona" "is" "green" "-")
triple7
((triple6) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is cold.
True
2
proof
[(((triple10) -> rule1))]
("Fiona" "is" "cold" "+")
((triple10) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is not cold.
False
2
inv-proof
[(((triple10) -> rule1))]
("Fiona" "is" "cold" "-")
((triple10) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is not rough.
Unknown
inv-random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "-")
Erin is kind.
Unknown
random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "+")
@0: Erin is cold.[(triple1)] Erin is furry.[(triple2)] Erin is green.[(triple3 OR ((triple2) -> rule2))] Erin is nice.[(triple4)] Erin is rough.[(triple5)] Fiona is furry.[(triple6)] Fiona is green.[(triple7 OR ((triple6) -> rule2))] Fiona is kind.[(triple8)] Fiona is nice.[(triple9)] Fiona is red.[(triple10)] @1: Fiona is cold.[(((triple10) -> rule1))]
Erin is cold.
("Erin" "is" "cold" "+")
triple1
Erin is furry.
("Erin" "is" "furry" "+")
triple2
Erin is green.
("Erin" "is" "green" "+")
triple3
((triple2) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
triple4
Erin is rough.
("Erin" "is" "rough" "+")
triple5
Fiona is furry.
("Fiona" "is" "furry" "+")
triple6
Fiona is green.
("Fiona" "is" "green" "+")
triple7
((triple6) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple8
Fiona is nice.
("Fiona" "is" "nice" "+")
triple9
Fiona is red.
("Fiona" "is" "red" "+")
triple10
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple10) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1