Erin is cold. Erin is furry. Erin is round. Harry is cold. Harry is furry. Harry is green. Harry is round. Harry is smart. Harry is white. Harry is young. All green, furry people are cold.
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is round.
("Erin" "is" "round" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is white.
("Harry" "is" "white" "+")
Harry is young.
("Harry" "is" "young" "+")
All green, furry people are cold.
((("someone" "is" "green" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "cold" "+"))
Harry is young.
True
1
proof
[(triple10)]
("Harry" "is" "young" "+")
triple10
Harry is not smart.
False
1
inv-proof
[(triple8)]
("Harry" "is" "smart" "-")
triple8
Erin is not white.
Unknown
inv-random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "-")
Erin is green.
Unknown
random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "+")
@0: Erin is cold.[(triple1)] Erin is furry.[(triple2)] Erin is round.[(triple3)] Harry is cold.[(triple4 OR ((triple6 triple5) -> rule1))] Harry is furry.[(triple5)] Harry is green.[(triple6)] Harry is round.[(triple7)] Harry is smart.[(triple8)] Harry is white.[(triple9)] Harry is young.[(triple10)]
Erin is cold.
("Erin" "is" "cold" "+")
triple1
Erin is furry.
("Erin" "is" "furry" "+")
triple2
Erin is round.
("Erin" "is" "round" "+")
triple3
Harry is cold.
("Harry" "is" "cold" "+")
triple4
((triple6 triple5) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
triple5
Harry is green.
("Harry" "is" "green" "+")
triple6
Harry is round.
("Harry" "is" "round" "+")
triple7
Harry is smart.
("Harry" "is" "smart" "+")
triple8
Harry is white.
("Harry" "is" "white" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple10