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