Erin is not cold. Erin is green. Erin is quiet. Erin is red. Erin is rough. Erin is round. Fiona is not cold. Fiona is green. Fiona is not red. Fiona is rough. Fiona is round. Fiona is smart. Gary is quiet. Gary is rough. Gary is smart. If Gary is cold and Gary is not round then Gary is not smart. If something is smart then it is green. If something is quiet and not rough then it is red.
Erin is not cold.
("Erin" "is" "cold" "-")
Erin is green.
("Erin" "is" "green" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Fiona is not cold.
("Fiona" "is" "cold" "-")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is not red.
("Fiona" "is" "red" "-")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is smart.
("Gary" "is" "smart" "+")
If Gary is cold and Gary is not round then Gary is not smart.
((("Gary" "is" "cold" "+") ("Gary" "is" "round" "~")) -> ("Gary" "is" "smart" "-"))
If something is smart then it is green.
((("something" "is" "smart" "+")) -> ("something" "is" "green" "+"))
If something is quiet and not rough then it is red.
((("something" "is" "quiet" "+") ("something" "is" "rough" "~")) -> ("something" "is" "red" "+"))
Gary is rough.
True
1
proof
[(triple14)]
("Gary" "is" "rough" "+")
triple14
Fiona is not rough.
False
1
inv-proof
[(triple10)]
("Fiona" "is" "rough" "-")
triple10
Gary is green.
True
2
proof
[(((triple15) -> rule2))]
("Gary" "is" "green" "+")
((triple15) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is not green.
False
2
inv-proof
[(((triple15) -> rule2))]
("Gary" "is" "green" "-")
((triple15) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is not red.
Unknown
inv-rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "red" "-")
Erin is smart.
Unknown
random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
@0: Erin is green.[(triple2)] Erin is not cold.[(triple1)] Erin is quiet.[(triple3)] Erin is red.[(triple4)] Erin is rough.[(triple5)] Erin is round.[(triple6)] Fiona is green.[(triple8 OR ((triple12) -> rule2))] Fiona is not cold.[(triple7)] Fiona is not red.[(triple9)] Fiona is rough.[(triple10)] Fiona is round.[(triple11)] Fiona is smart.[(triple12)] Gary is quiet.[(triple13)] Gary is rough.[(triple14)] Gary is smart.[(triple15)] @1: Gary is green.[(((triple15) -> rule2))]
Erin is green.
("Erin" "is" "green" "+")
triple2
Erin is not cold.
("Erin" "is" "cold" "-")
triple1
Erin is quiet.
("Erin" "is" "quiet" "+")
triple3
Erin is red.
("Erin" "is" "red" "+")
triple4
Erin is rough.
("Erin" "is" "rough" "+")
triple5
Erin is round.
("Erin" "is" "round" "+")
triple6
Fiona is green.
("Fiona" "is" "green" "+")
triple8
((triple12) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is not cold.
("Fiona" "is" "cold" "-")
triple7
Fiona is not red.
("Fiona" "is" "red" "-")
triple9
Fiona is rough.
("Fiona" "is" "rough" "+")
triple10
Fiona is round.
("Fiona" "is" "round" "+")
triple11
Fiona is smart.
("Fiona" "is" "smart" "+")
triple12
Gary is quiet.
("Gary" "is" "quiet" "+")
triple13
Gary is rough.
("Gary" "is" "rough" "+")
triple14
Gary is smart.
("Gary" "is" "smart" "+")
triple15
Gary is green.
("Gary" "is" "green" "+")
((triple15) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1