Erin is big. Erin is not round. Erin is white. Fiona is big. Fiona is furry. Fiona is green. Fiona is rough. Fiona is round. Fiona is not white. Harry is big. Harry is not cold. Harry is furry. Harry is green. Harry is not rough. Harry is not round. Harry is not white. If something is rough and not round then it is cold. Furry, round things are not cold. If something is big and cold then it is white.
Erin is big.
("Erin" "is" "big" "+")
Erin is not round.
("Erin" "is" "round" "-")
Erin is white.
("Erin" "is" "white" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is not white.
("Fiona" "is" "white" "-")
Harry is big.
("Harry" "is" "big" "+")
Harry is not cold.
("Harry" "is" "cold" "-")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is not rough.
("Harry" "is" "rough" "-")
Harry is not round.
("Harry" "is" "round" "-")
Harry is not white.
("Harry" "is" "white" "-")
If something is rough and not round then it is cold.
((("something" "is" "rough" "+") ("something" "is" "round" "~")) -> ("something" "is" "cold" "+"))
Furry, round things are not cold.
((("something" "is" "furry" "+") ("something" "is" "round" "+")) -> ("something" "is" "cold" "-"))
If something is big and cold then it is white.
((("something" "is" "big" "+") ("something" "is" "cold" "+")) -> ("something" "is" "white" "+"))
Fiona is not white.
True
1
proof
[(triple9)]
("Fiona" "is" "white" "-")
triple9
Harry is not furry.
False
1
inv-proof
[(triple12)]
("Harry" "is" "furry" "-")
triple12
Fiona is not cold.
True
3
proof
[(((triple5 triple8) -> rule2))]
("Fiona" "is" "cold" "-")
((triple5 triple8) -> (rule2 % int1))
Fiona is not cold.
("Fiona" "is" "cold" "-")
int1
Fiona is cold.
False
3
inv-proof
[(((triple5 triple8) -> rule2))]
("Fiona" "is" "cold" "+")
((triple5 triple8) -> (rule2 % int1))
Fiona is not cold.
("Fiona" "is" "cold" "-")
int1
Erin is not cold.
Unknown
inv-rconc
[@1: Erin is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "cold" "-")
Erin is rough.
Unknown
random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "+")
Erin is not furry.
Unknown
inv-random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "-")
Erin is green.
Unknown
random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "+")
@0: Erin is big.[(triple1)] Erin is not round.[(triple2)] Erin is white.[(triple3)] Fiona is big.[(triple4)] Fiona is furry.[(triple5)] Fiona is green.[(triple6)] Fiona is not white.[(triple9)] Fiona is rough.[(triple7)] Fiona is round.[(triple8)] Harry is big.[(triple10)] Harry is furry.[(triple12)] Harry is green.[(triple13)] Harry is not cold.[(triple11)] Harry is not rough.[(triple14)] Harry is not round.[(triple15)] Harry is not white.[(triple16)] @1: Fiona is not cold.[(((triple5 triple8) -> rule2))]
Erin is big.
("Erin" "is" "big" "+")
triple1
Erin is not round.
("Erin" "is" "round" "-")
triple2
Erin is white.
("Erin" "is" "white" "+")
triple3
Fiona is big.
("Fiona" "is" "big" "+")
triple4
Fiona is furry.
("Fiona" "is" "furry" "+")
triple5
Fiona is green.
("Fiona" "is" "green" "+")
triple6
Fiona is not white.
("Fiona" "is" "white" "-")
triple9
Fiona is rough.
("Fiona" "is" "rough" "+")
triple7
Fiona is round.
("Fiona" "is" "round" "+")
triple8
Harry is big.
("Harry" "is" "big" "+")
triple10
Harry is furry.
("Harry" "is" "furry" "+")
triple12
Harry is green.
("Harry" "is" "green" "+")
triple13
Harry is not cold.
("Harry" "is" "cold" "-")
triple11
Harry is not rough.
("Harry" "is" "rough" "-")
triple14
Harry is not round.
("Harry" "is" "round" "-")
triple15
Harry is not white.
("Harry" "is" "white" "-")
triple16
Fiona is not cold.
("Fiona" "is" "cold" "-")
((triple5 triple8) -> (rule2 % int1))
Fiona is not cold.
("Fiona" "is" "cold" "-")
int1