Anne is furry. Anne is kind. Erin is round. Fiona is round. Gary is furry. Gary is nice. Gary is smart. If Erin is round and Erin is furry then Erin is not nice. All young people are kind. If Anne is furry then Anne is young. All furry people are green. If someone is nice and kind then they are green. All green, furry people are nice.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Erin is round.
("Erin" "is" "round" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is smart.
("Gary" "is" "smart" "+")
If Erin is round and Erin is furry then Erin is not nice.
((("Erin" "is" "round" "+") ("Erin" "is" "furry" "+")) -> ("Erin" "is" "nice" "-"))
All young people are kind.
((("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If Anne is furry then Anne is young.
((("Anne" "is" "furry" "+")) -> ("Anne" "is" "young" "+"))
All furry people are green.
((("someone" "is" "furry" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and kind then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
All green, furry people are nice.
((("someone" "is" "green" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "nice" "+"))
Gary is smart.
True
1
proof
[(triple7)]
("Gary" "is" "smart" "+")
triple7
Anne is not kind.
False
1
inv-proof
[(triple2 OR ((((triple1) -> rule3)) -> rule2))]
("Anne" "is" "kind" "-")
triple2
((((triple1) -> (rule3 % int2))) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is young.
True
2
proof
[(((triple1) -> rule3))]
("Anne" "is" "young" "+")
((triple1) -> (rule3 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Gary is not green.
False
2
inv-proof
[(((triple5) -> rule4))]
("Gary" "is" "green" "-")
((triple5) -> (rule4 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Anne is nice.
True
4
proof
[(((((triple1) -> rule4) triple1) -> rule6))]
("Anne" "is" "nice" "+")
((((triple1) -> (rule4 % int2)) triple1) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is not nice.
False
4
inv-proof
[(((((triple1) -> rule4) triple1) -> rule6))]
("Anne" "is" "nice" "-")
((((triple1) -> (rule4 % int2)) triple1) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Erin is not nice.
Unknown
inv-rconc
[@1: Erin is nice.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Erin" "is" "nice" "-")
Erin is green.
Unknown
rconc
[@2: Erin is green.[CWA. Example of deepest failure = (rule5 <- rule6 <- FAIL)]]
("Erin" "is" "green" "+")
Fiona is not nice.
Unknown
inv-rconc
[@1: Fiona is nice.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fiona" "is" "nice" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
Fiona is not smart.
Unknown
inv-random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
@0: Anne is furry.[(triple1)] Anne is kind.[(triple2 OR ((((triple1) -> rule3)) -> rule2))] Erin is round.[(triple3)] Fiona is round.[(triple4)] Gary is furry.[(triple5)] Gary is nice.[(triple6 OR ((((triple5) -> rule4) triple5) -> rule6))] Gary is smart.[(triple7)] @1: Anne is green.[(((triple1) -> rule4))] Anne is young.[(((triple1) -> rule3))] Gary is green.[(((triple5) -> rule4))] @2: Anne is nice.[(((((triple1) -> rule4) triple1) -> rule6))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
((((triple1) -> (rule3 % int2))) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
triple3
Fiona is round.
("Fiona" "is" "round" "+")
triple4
Gary is furry.
("Gary" "is" "furry" "+")
triple5
Gary is nice.
("Gary" "is" "nice" "+")
triple6
((((triple5) -> (rule4 % int2)) triple5) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
triple7
Anne is green.
("Anne" "is" "green" "+")
((triple1) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
((triple1) -> (rule3 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((triple5) -> (rule4 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
((((triple1) -> (rule4 % int2)) triple1) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2