Dave is big. Dave is cold. Dave is furry. Dave is not kind. Erin is blue. Erin is cold. Erin is furry. Fiona is furry. Harry is big. Harry is blue. Harry is cold. Harry is not furry. All big, white things are blue. Nice, blue things are white. If Fiona is not white then Fiona is cold.
Dave is big.
("Dave" "is" "big" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is not kind.
("Dave" "is" "kind" "-")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is not furry.
("Harry" "is" "furry" "-")
All big, white things are blue.
((("something" "is" "big" "+") ("something" "is" "white" "+")) -> ("something" "is" "blue" "+"))
Nice, blue things are white.
((("something" "is" "nice" "+") ("something" "is" "blue" "+")) -> ("something" "is" "white" "+"))
If Fiona is not white then Fiona is cold.
((("Fiona" "is" "white" "~")) -> ("Fiona" "is" "cold" "+"))
Erin is furry.
True
1
proof
[(triple7)]
("Erin" "is" "furry" "+")
triple7
Erin is not blue.
False
1
inv-proof
[(triple5)]
("Erin" "is" "blue" "-")
triple5
Dave is not white.
Unknown
inv-rconc
[@1: Dave is white.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "white" "-")
Erin is big.
Unknown
random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "+")
@0: Dave is big.[(triple1)] Dave is cold.[(triple2)] Dave is furry.[(triple3)] Dave is not kind.[(triple4)] Erin is blue.[(triple5)] Erin is cold.[(triple6)] Erin is furry.[(triple7)] Fiona is furry.[(triple8)] Harry is big.[(triple9)] Harry is blue.[(triple10)] Harry is cold.[(triple11)] Harry is not furry.[(triple12)]
Dave is big.
("Dave" "is" "big" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple2
Dave is furry.
("Dave" "is" "furry" "+")
triple3
Dave is not kind.
("Dave" "is" "kind" "-")
triple4
Erin is blue.
("Erin" "is" "blue" "+")
triple5
Erin is cold.
("Erin" "is" "cold" "+")
triple6
Erin is furry.
("Erin" "is" "furry" "+")
triple7
Fiona is furry.
("Fiona" "is" "furry" "+")
triple8
Harry is big.
("Harry" "is" "big" "+")
triple9
Harry is blue.
("Harry" "is" "blue" "+")
triple10
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Harry is not furry.
("Harry" "is" "furry" "-")
triple12