Erin is furry. Erin is green. Erin is nice. Erin is red. Erin is smart. Erin is young. Gary is furry. Gary is green. Gary is red. Gary is young. All red people are furry. Quiet, furry people are green. If someone is green then they are furry. If someone is red then they are smart. Quiet people are furry. Young, quiet people are nice.
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is young.
("Erin" "is" "young" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is young.
("Gary" "is" "young" "+")
All red people are furry.
((("someone" "is" "red" "+")) -> ("someone" "is" "furry" "+"))
Quiet, furry people are green.
((("someone" "is" "quiet" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "green" "+"))
If someone is green then they are furry.
((("someone" "is" "green" "+")) -> ("someone" "is" "furry" "+"))
If someone is red then they are smart.
((("someone" "is" "red" "+")) -> ("someone" "is" "smart" "+"))
Quiet people are furry.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "furry" "+"))
Young, quiet people are nice.
((("someone" "is" "young" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "nice" "+"))
Gary is red.
True
1
proof
[(triple9)]
("Gary" "is" "red" "+")
triple9
Gary is not furry.
False
1
inv-proof
[(triple7 OR ((triple8) -> rule3) OR ((triple9) -> rule1))]
("Gary" "is" "furry" "-")
triple7
((triple8) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
((triple9) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is smart.
True
2
proof
[(((triple9) -> rule4))]
("Gary" "is" "smart" "+")
((triple9) -> (rule4 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is not smart.
False
2
inv-proof
[(((triple9) -> rule4))]
("Gary" "is" "smart" "-")
((triple9) -> (rule4 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is not nice.
Unknown
inv-rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "nice" "-")
Erin is quiet.
Unknown
random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "+")
@0: Erin is furry.[(triple1 OR ((triple2) -> rule3) OR ((triple4) -> rule1))] Erin is green.[(triple2)] Erin is nice.[(triple3)] Erin is red.[(triple4)] Erin is smart.[(triple5 OR ((triple4) -> rule4))] Erin is young.[(triple6)] Gary is furry.[(triple7 OR ((triple8) -> rule3) OR ((triple9) -> rule1))] Gary is green.[(triple8)] Gary is red.[(triple9)] Gary is young.[(triple10)] @1: Gary is smart.[(((triple9) -> rule4))]
Erin is furry.
("Erin" "is" "furry" "+")
triple1
((triple2) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((triple4) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
triple2
Erin is nice.
("Erin" "is" "nice" "+")
triple3
Erin is red.
("Erin" "is" "red" "+")
triple4
Erin is smart.
("Erin" "is" "smart" "+")
triple5
((triple4) -> (rule4 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
triple6
Gary is furry.
("Gary" "is" "furry" "+")
triple7
((triple8) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
((triple9) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
triple8
Gary is red.
("Gary" "is" "red" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple10
Gary is smart.
("Gary" "is" "smart" "+")
((triple9) -> (rule4 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1