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