Dave is blue. Dave is green. Dave is kind. Erin is cold. Erin is green. Erin is kind. Erin is smart. If someone is green then they are cold. All furry, cold people are white. All furry people are smart. Cold people are white. If Erin is green then Erin is blue. Green, furry people are smart.
Dave is blue.
("Dave" "is" "blue" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is smart.
("Erin" "is" "smart" "+")
If someone is green then they are cold.
((("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
All furry, cold people are white.
((("someone" "is" "furry" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "white" "+"))
All furry people are smart.
((("someone" "is" "furry" "+")) -> ("someone" "is" "smart" "+"))
Cold people are white.
((("someone" "is" "cold" "+")) -> ("someone" "is" "white" "+"))
If Erin is green then Erin is blue.
((("Erin" "is" "green" "+")) -> ("Erin" "is" "blue" "+"))
Green, furry people are smart.
((("someone" "is" "green" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "smart" "+"))
Erin is kind.
True
1
proof
[(triple6)]
("Erin" "is" "kind" "+")
triple6
Dave is not green.
False
1
inv-proof
[(triple2)]
("Dave" "is" "green" "-")
triple2
Dave is not smart.
Unknown
inv-rconc
[@1: Dave is smart.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "smart" "-")
Dave is furry.
Unknown
random
[@0: Dave is furry.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "furry" "+")
@0: Dave is blue.[(triple1)] Dave is green.[(triple2)] Dave is kind.[(triple3)] Erin is cold.[(triple4 OR ((triple5) -> rule1))] Erin is green.[(triple5)] Erin is kind.[(triple6)] Erin is smart.[(triple7)] @1: Dave is cold.[(((triple2) -> rule1))] Erin is blue.[(((triple5) -> rule5))] Erin is white.[(((triple4) -> rule4) OR ((((triple5) -> rule1)) -> rule4))] @2: Dave is white.[(((((triple2) -> rule1)) -> rule4))]
Dave is blue.
("Dave" "is" "blue" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple2
Dave is kind.
("Dave" "is" "kind" "+")
triple3
Erin is cold.
("Erin" "is" "cold" "+")
triple4
((triple5) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
triple5
Erin is kind.
("Erin" "is" "kind" "+")
triple6
Erin is smart.
("Erin" "is" "smart" "+")
triple7
Dave is cold.
("Dave" "is" "cold" "+")
((triple2) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
((triple5) -> (rule5 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
((triple4) -> (rule4 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((((triple5) -> (rule1 % int2))) -> (rule4 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
((((triple2) -> (rule1 % int2))) -> (rule4 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2