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