Erin is big. Erin is green. Erin is rough. Erin is round. Erin is not smart. Fiona is green. Fiona is red. Fiona is rough. Fiona is round. Fiona is smart. Green things are big. If Fiona is rough and Fiona is big then Fiona is not white.
Erin is big.
("Erin" "is" "big" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is not smart.
("Erin" "is" "smart" "-")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Green things are big.
((("something" "is" "green" "+")) -> ("something" "is" "big" "+"))
If Fiona is rough and Fiona is big then Fiona is not white.
((("Fiona" "is" "rough" "+") ("Fiona" "is" "big" "+")) -> ("Fiona" "is" "white" "-"))
Erin is rough.
True
1
proof
[(triple3)]
("Erin" "is" "rough" "+")
triple3
Fiona is not red.
False
1
inv-proof
[(triple7)]
("Fiona" "is" "red" "-")
triple7
Fiona is big.
True
2
proof
[(((triple6) -> rule1))]
("Fiona" "is" "big" "+")
((triple6) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is not big.
False
2
inv-proof
[(((triple6) -> rule1))]
("Fiona" "is" "big" "-")
((triple6) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is not white.
True
4
proof
[(((triple8 ((triple6) -> rule1)) -> rule2))]
("Fiona" "is" "white" "-")
((triple8 ((triple6) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is not white.
("Fiona" "is" "white" "-")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is white.
False
4
inv-proof
[(((triple8 ((triple6) -> rule1)) -> rule2))]
("Fiona" "is" "white" "+")
((triple8 ((triple6) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is not white.
("Fiona" "is" "white" "-")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Erin is not red.
Unknown
inv-random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "-")
Erin is white.
Unknown
random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "+")
@0: Erin is big.[(triple1 OR ((triple2) -> rule1))] Erin is green.[(triple2)] Erin is not smart.[(triple5)] Erin is rough.[(triple3)] Erin is round.[(triple4)] Fiona is green.[(triple6)] Fiona is red.[(triple7)] Fiona is rough.[(triple8)] Fiona is round.[(triple9)] Fiona is smart.[(triple10)] @1: Fiona is big.[(((triple6) -> rule1))] @2: Fiona is not white.[(((triple8 ((triple6) -> rule1)) -> rule2))]
Erin is big.
("Erin" "is" "big" "+")
triple1
((triple2) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
triple2
Erin is not smart.
("Erin" "is" "smart" "-")
triple5
Erin is rough.
("Erin" "is" "rough" "+")
triple3
Erin is round.
("Erin" "is" "round" "+")
triple4
Fiona is green.
("Fiona" "is" "green" "+")
triple6
Fiona is red.
("Fiona" "is" "red" "+")
triple7
Fiona is rough.
("Fiona" "is" "rough" "+")
triple8
Fiona is round.
("Fiona" "is" "round" "+")
triple9
Fiona is smart.
("Fiona" "is" "smart" "+")
triple10
Fiona is big.
("Fiona" "is" "big" "+")
((triple6) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is not white.
("Fiona" "is" "white" "-")
((triple8 ((triple6) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is not white.
("Fiona" "is" "white" "-")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2