Bob is kind. Dave is cold. Dave is furry. Dave is kind. Erin is furry. Erin is white. Harry is cold. Harry is furry. Harry is not green. Harry is white. If something is cold then it is furry. If Erin is smart and Erin is not furry then Erin is big.
Bob is kind.
("Bob" "is" "kind" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is white.
("Erin" "is" "white" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is not green.
("Harry" "is" "green" "-")
Harry is white.
("Harry" "is" "white" "+")
If something is cold then it is furry.
((("something" "is" "cold" "+")) -> ("something" "is" "furry" "+"))
If Erin is smart and Erin is not furry then Erin is big.
((("Erin" "is" "smart" "+") ("Erin" "is" "furry" "~")) -> ("Erin" "is" "big" "+"))
Erin is white.
True
1
proof
[(triple6)]
("Erin" "is" "white" "+")
triple6
Harry is not cold.
False
1
inv-proof
[(triple7)]
("Harry" "is" "cold" "-")
triple7
Erin is not big.
Unknown
inv-rconc
[@1: Erin is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "big" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
@0: Bob is kind.[(triple1)] Dave is cold.[(triple2)] Dave is furry.[(triple3 OR ((triple2) -> rule1))] Dave is kind.[(triple4)] Erin is furry.[(triple5)] Erin is white.[(triple6)] Harry is cold.[(triple7)] Harry is furry.[(triple8 OR ((triple7) -> rule1))] Harry is not green.[(triple9)] Harry is white.[(triple10)]
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple2
Dave is furry.
("Dave" "is" "furry" "+")
triple3
((triple2) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
triple4
Erin is furry.
("Erin" "is" "furry" "+")
triple5
Erin is white.
("Erin" "is" "white" "+")
triple6
Harry is cold.
("Harry" "is" "cold" "+")
triple7
Harry is furry.
("Harry" "is" "furry" "+")
triple8
((triple7) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is not green.
("Harry" "is" "green" "-")
triple9
Harry is white.
("Harry" "is" "white" "+")
triple10