Erin is not cold. Erin is nice. Erin is red. Erin is round. Fiona is blue. Fiona is nice. Fiona is red. Fiona is not round. Fiona is white. Harry is not blue. Harry is not cold. Harry is furry. If something is blue and not round then it is furry. If something is white then it is furry. All nice things are white.
Erin is not cold.
("Erin" "is" "cold" "-")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is round.
("Erin" "is" "round" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is not round.
("Fiona" "is" "round" "-")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is not blue.
("Harry" "is" "blue" "-")
Harry is not cold.
("Harry" "is" "cold" "-")
Harry is furry.
("Harry" "is" "furry" "+")
If something is blue and not round then it is furry.
((("something" "is" "blue" "+") ("something" "is" "round" "~")) -> ("something" "is" "furry" "+"))
If something is white then it is furry.
((("something" "is" "white" "+")) -> ("something" "is" "furry" "+"))
All nice things are white.
((("something" "is" "nice" "+")) -> ("something" "is" "white" "+"))
Harry is not cold.
True
1
proof
[(triple11)]
("Harry" "is" "cold" "-")
triple11
Erin is cold.
False
1
inv-proof
[(triple1)]
("Erin" "is" "cold" "+")
triple1
Fiona is furry.
True
2
proof
[(((triple9) -> rule2) OR ((triple5 triple8) -> rule1) OR ((((triple6) -> rule3)) -> rule2))]
("Fiona" "is" "furry" "+")
((triple9) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((triple5 triple8) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((((triple6) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Erin is not white.
False
2
inv-proof
[(((triple2) -> rule3))]
("Erin" "is" "white" "-")
((triple2) -> (rule3 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is furry.
True
3
proof
[(((((triple2) -> rule3)) -> rule2))]
("Erin" "is" "furry" "+")
((((triple2) -> (rule3 % int2))) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is not furry.
False
3
inv-proof
[(((((triple2) -> rule3)) -> rule2))]
("Erin" "is" "furry" "-")
((((triple2) -> (rule3 % int2))) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Harry is not white.
Unknown
inv-rconc
[@1: Harry is white.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "white" "-")
Erin is blue.
Unknown
random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "+")
Fiona is not cold.
Unknown
inv-random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
Harry is not nice.
Unknown
inv-random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
@0: Erin is nice.[(triple2)] Erin is not cold.[(triple1)] Erin is red.[(triple3)] Erin is round.[(triple4)] Fiona is blue.[(triple5)] Fiona is nice.[(triple6)] Fiona is not round.[(triple8)] Fiona is red.[(triple7)] Fiona is white.[(triple9 OR ((triple6) -> rule3))] Harry is furry.[(triple12)] Harry is not blue.[(triple10)] Harry is not cold.[(triple11)] @1: Erin is white.[(((triple2) -> rule3))] Fiona is furry.[(((triple9) -> rule2) OR ((triple5 triple8) -> rule1) OR ((((triple6) -> rule3)) -> rule2))] @2: Erin is furry.[(((((triple2) -> rule3)) -> rule2))]
Erin is nice.
("Erin" "is" "nice" "+")
triple2
Erin is not cold.
("Erin" "is" "cold" "-")
triple1
Erin is red.
("Erin" "is" "red" "+")
triple3
Erin is round.
("Erin" "is" "round" "+")
triple4
Fiona is blue.
("Fiona" "is" "blue" "+")
triple5
Fiona is nice.
("Fiona" "is" "nice" "+")
triple6
Fiona is not round.
("Fiona" "is" "round" "-")
triple8
Fiona is red.
("Fiona" "is" "red" "+")
triple7
Fiona is white.
("Fiona" "is" "white" "+")
triple9
((triple6) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
triple12
Harry is not blue.
("Harry" "is" "blue" "-")
triple10
Harry is not cold.
("Harry" "is" "cold" "-")
triple11
Erin is white.
("Erin" "is" "white" "+")
((triple2) -> (rule3 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple9) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((triple5 triple8) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((((triple6) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
((((triple2) -> (rule3 % int2))) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2