Dave is not green. Erin is quiet. Fiona is kind. Fiona is rough. Fiona is round. Gary is not furry. Gary is green. If something is green then it is quiet. If something is quiet and not rough then it is cold. All round things are green.
Dave is not green.
("Dave" "is" "green" "-")
Erin is quiet.
("Erin" "is" "quiet" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Gary is not furry.
("Gary" "is" "furry" "-")
Gary is green.
("Gary" "is" "green" "+")
If something is green then it is quiet.
((("something" "is" "green" "+")) -> ("something" "is" "quiet" "+"))
If something is quiet and not rough then it is cold.
((("something" "is" "quiet" "+") ("something" "is" "rough" "~")) -> ("something" "is" "cold" "+"))
All round things are green.
((("something" "is" "round" "+")) -> ("something" "is" "green" "+"))
Fiona is rough.
True
1
proof
[(triple4)]
("Fiona" "is" "rough" "+")
triple4
Gary is furry.
False
1
inv-proof
[(triple6)]
("Gary" "is" "furry" "+")
triple6
Fiona is green.
True
2
proof
[(((triple5) -> rule3))]
("Fiona" "is" "green" "+")
((triple5) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Gary is not quiet.
False
2
inv-proof
[(((triple7) -> rule1))]
("Gary" "is" "quiet" "-")
((triple7) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Erin is not cold.
Unknown
inv-rconc
[@1: Erin is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "cold" "-")
Gary is cold.
Unknown
rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "cold" "+")
Fiona is not furry.
Unknown
inv-random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
@0: Dave is not green.[(triple1)] Erin is quiet.[(triple2)] Fiona is kind.[(triple3)] Fiona is rough.[(triple4)] Fiona is round.[(triple5)] Gary is green.[(triple7)] Gary is not furry.[(triple6)] @1: Fiona is green.[(((triple5) -> rule3))] Gary is quiet.[(((triple7) -> rule1))] @2: Fiona is quiet.[(((((triple5) -> rule3)) -> rule1))]
Dave is not green.
("Dave" "is" "green" "-")
triple1
Erin is quiet.
("Erin" "is" "quiet" "+")
triple2
Fiona is kind.
("Fiona" "is" "kind" "+")
triple3
Fiona is rough.
("Fiona" "is" "rough" "+")
triple4
Fiona is round.
("Fiona" "is" "round" "+")
triple5
Gary is green.
("Gary" "is" "green" "+")
triple7
Gary is not furry.
("Gary" "is" "furry" "-")
triple6
Fiona is green.
("Fiona" "is" "green" "+")
((triple5) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
((triple7) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((((triple5) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2