Erin is furry. Erin is red. Erin is smart. Erin is young. Fiona is young. Gary is not cold. Gary is quiet. All furry people are quiet. If someone is furry and not young then they are quiet. If Gary is not young and Gary is not red then Gary is cold.
Erin is furry.
("Erin" "is" "furry" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is not cold.
("Gary" "is" "cold" "-")
Gary is quiet.
("Gary" "is" "quiet" "+")
All furry people are quiet.
((("someone" "is" "furry" "+")) -> ("someone" "is" "quiet" "+"))
If someone is furry and not young then they are quiet.
((("someone" "is" "furry" "+") ("someone" "is" "young" "~")) -> ("someone" "is" "quiet" "+"))
If Gary is not young and Gary is not red then Gary is cold.
((("Gary" "is" "young" "~") ("Gary" "is" "red" "~")) -> ("Gary" "is" "cold" "+"))
Gary is not cold.
True
1
proof
[(triple6)]
("Gary" "is" "cold" "-")
triple6
Erin is not red.
False
1
inv-proof
[(triple2)]
("Erin" "is" "red" "-")
triple2
Erin is quiet.
True
2
proof
[(((triple1) -> rule1))]
("Erin" "is" "quiet" "+")
((triple1) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is not quiet.
False
2
inv-proof
[(((triple1) -> rule1))]
("Erin" "is" "quiet" "-")
((triple1) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Fiona is not quiet.
Unknown
inv-rconc
[@1: Fiona is quiet.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "quiet" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
Fiona is not red.
Unknown
inv-random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "-")
Erin is kind.
Unknown
random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "+")
@0: Erin is furry.[(triple1)] Erin is red.[(triple2)] Erin is smart.[(triple3)] Erin is young.[(triple4)] Fiona is young.[(triple5)] Gary is not cold.[(triple6)] Gary is quiet.[(triple7)] @1: Erin is quiet.[(((triple1) -> rule1))]
Erin is furry.
("Erin" "is" "furry" "+")
triple1
Erin is red.
("Erin" "is" "red" "+")
triple2
Erin is smart.
("Erin" "is" "smart" "+")
triple3
Erin is young.
("Erin" "is" "young" "+")
triple4
Fiona is young.
("Fiona" "is" "young" "+")
triple5
Gary is not cold.
("Gary" "is" "cold" "-")
triple6
Gary is quiet.
("Gary" "is" "quiet" "+")
triple7
Erin is quiet.
("Erin" "is" "quiet" "+")
((triple1) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1