Erin is blue. Erin is not green. Erin is nice. Erin is red. Erin is round. Fiona is not blue. Fiona is furry. Fiona is green. Fiona is nice. Gary is not cold. Gary is nice. Harry is not blue. Harry is not green. Harry is not nice. Harry is red. Cold, red things are green. All green, blue things are red. If Gary is furry and Gary is nice then Gary is round. Red, cold things are not nice. If Fiona is furry then Fiona is red. If Erin is furry and Erin is round then Erin is not red. If Erin is furry and Erin is blue then Erin is cold. If Gary is green and Gary is not furry then Gary is not red.
Erin is blue.
("Erin" "is" "blue" "+")
Erin is not green.
("Erin" "is" "green" "-")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is round.
("Erin" "is" "round" "+")
Fiona is not blue.
("Fiona" "is" "blue" "-")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Gary is not cold.
("Gary" "is" "cold" "-")
Gary is nice.
("Gary" "is" "nice" "+")
Harry is not blue.
("Harry" "is" "blue" "-")
Harry is not green.
("Harry" "is" "green" "-")
Harry is not nice.
("Harry" "is" "nice" "-")
Harry is red.
("Harry" "is" "red" "+")
Cold, red things are green.
((("something" "is" "cold" "+") ("something" "is" "red" "+")) -> ("something" "is" "green" "+"))
All green, blue things are red.
((("something" "is" "green" "+") ("something" "is" "blue" "+")) -> ("something" "is" "red" "+"))
If Gary is furry and Gary is nice then Gary is round.
((("Gary" "is" "furry" "+") ("Gary" "is" "nice" "+")) -> ("Gary" "is" "round" "+"))
Red, cold things are not nice.
((("something" "is" "red" "+") ("something" "is" "cold" "+")) -> ("something" "is" "nice" "-"))
If Fiona is furry then Fiona is red.
((("Fiona" "is" "furry" "+")) -> ("Fiona" "is" "red" "+"))
If Erin is furry and Erin is round then Erin is not red.
((("Erin" "is" "furry" "+") ("Erin" "is" "round" "+")) -> ("Erin" "is" "red" "-"))
If Erin is furry and Erin is blue then Erin is cold.
((("Erin" "is" "furry" "+") ("Erin" "is" "blue" "+")) -> ("Erin" "is" "cold" "+"))
If Gary is green and Gary is not furry then Gary is not red.
((("Gary" "is" "green" "+") ("Gary" "is" "furry" "~")) -> ("Gary" "is" "red" "-"))
Harry is not blue.
True
1
proof
[(triple12)]
("Harry" "is" "blue" "-")
triple12
Fiona is not green.
False
1
inv-proof
[(triple8)]
("Fiona" "is" "green" "-")
triple8
Fiona is red.
True
2
proof
[(((triple7) -> rule5))]
("Fiona" "is" "red" "+")
((triple7) -> (rule5 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is not red.
False
2
inv-proof
[(((triple7) -> rule5))]
("Fiona" "is" "red" "-")
((triple7) -> (rule5 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Gary is not round.
Unknown
inv-rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "round" "-")
Erin is cold.
Unknown
rconc
[@1: Erin is cold.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Erin" "is" "cold" "+")
Fiona is not cold.
Unknown
inv-random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "-")
Gary is furry.
Unknown
random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "+")
@0: Erin is blue.[(triple1)] Erin is nice.[(triple3)] Erin is not green.[(triple2)] Erin is red.[(triple4)] Erin is round.[(triple5)] Fiona is furry.[(triple7)] Fiona is green.[(triple8)] Fiona is nice.[(triple9)] Fiona is not blue.[(triple6)] Gary is nice.[(triple11)] Gary is not cold.[(triple10)] Harry is not blue.[(triple12)] Harry is not green.[(triple13)] Harry is not nice.[(triple14)] Harry is red.[(triple15)] @1: Fiona is red.[(((triple7) -> rule5))]
Erin is blue.
("Erin" "is" "blue" "+")
triple1
Erin is nice.
("Erin" "is" "nice" "+")
triple3
Erin is not green.
("Erin" "is" "green" "-")
triple2
Erin is red.
("Erin" "is" "red" "+")
triple4
Erin is round.
("Erin" "is" "round" "+")
triple5
Fiona is furry.
("Fiona" "is" "furry" "+")
triple7
Fiona is green.
("Fiona" "is" "green" "+")
triple8
Fiona is nice.
("Fiona" "is" "nice" "+")
triple9
Fiona is not blue.
("Fiona" "is" "blue" "-")
triple6
Gary is nice.
("Gary" "is" "nice" "+")
triple11
Gary is not cold.
("Gary" "is" "cold" "-")
triple10
Harry is not blue.
("Harry" "is" "blue" "-")
triple12
Harry is not green.
("Harry" "is" "green" "-")
triple13
Harry is not nice.
("Harry" "is" "nice" "-")
triple14
Harry is red.
("Harry" "is" "red" "+")
triple15
Fiona is red.
("Fiona" "is" "red" "+")
((triple7) -> (rule5 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1