Erin is not big. Erin is cold. Erin is kind. Erin is red. Erin is white. Fiona is big. Fiona is white. Harry is red. Harry is not smart. Harry is white. If Fiona is smart and Fiona is cold then Fiona is kind. If Fiona is round then Fiona is kind. All cold, big things are white. If Harry is white and Harry is not kind then Harry is smart. If Harry is white then Harry is not big. If Harry is big then Harry is red. If Harry is red then Harry is round. If something is round and not big then it is red.
Erin is not big.
("Erin" "is" "big" "-")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is not smart.
("Harry" "is" "smart" "-")
Harry is white.
("Harry" "is" "white" "+")
If Fiona is smart and Fiona is cold then Fiona is kind.
((("Fiona" "is" "smart" "+") ("Fiona" "is" "cold" "+")) -> ("Fiona" "is" "kind" "+"))
If Fiona is round then Fiona is kind.
((("Fiona" "is" "round" "+")) -> ("Fiona" "is" "kind" "+"))
All cold, big things are white.
((("something" "is" "cold" "+") ("something" "is" "big" "+")) -> ("something" "is" "white" "+"))
If Harry is white and Harry is not kind then Harry is smart.
((("Harry" "is" "white" "+") ("Harry" "is" "kind" "~")) -> ("Harry" "is" "smart" "+"))
If Harry is white then Harry is not big.
((("Harry" "is" "white" "+")) -> ("Harry" "is" "big" "-"))
If Harry is big then Harry is red.
((("Harry" "is" "big" "+")) -> ("Harry" "is" "red" "+"))
If Harry is red then Harry is round.
((("Harry" "is" "red" "+")) -> ("Harry" "is" "round" "+"))
If something is round and not big then it is red.
((("something" "is" "round" "+") ("something" "is" "big" "~")) -> ("something" "is" "red" "+"))
Erin is kind.
True
1
proof
[(triple3)]
("Erin" "is" "kind" "+")
triple3
Erin is not cold.
False
1
inv-proof
[(triple2)]
("Erin" "is" "cold" "-")
triple2
Fiona is not red.
Unknown
inv-rconc
[@1: Fiona is red.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Fiona" "is" "red" "-")
Fiona is round.
Unknown
random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "+")
@0: Erin is cold.[(triple2)] Erin is kind.[(triple3)] Erin is not big.[(triple1)] Erin is red.[(triple4)] Erin is white.[(triple5)] Fiona is big.[(triple6)] Fiona is white.[(triple7)] Harry is not smart.[(triple9)] Harry is red.[(triple8)] Harry is white.[(triple10)] @1: Harry is not big.[(((triple10) -> rule5))] Harry is round.[(((triple8) -> rule7))]
Erin is cold.
("Erin" "is" "cold" "+")
triple2
Erin is kind.
("Erin" "is" "kind" "+")
triple3
Erin is not big.
("Erin" "is" "big" "-")
triple1
Erin is red.
("Erin" "is" "red" "+")
triple4
Erin is white.
("Erin" "is" "white" "+")
triple5
Fiona is big.
("Fiona" "is" "big" "+")
triple6
Fiona is white.
("Fiona" "is" "white" "+")
triple7
Harry is not smart.
("Harry" "is" "smart" "-")
triple9
Harry is red.
("Harry" "is" "red" "+")
triple8
Harry is white.
("Harry" "is" "white" "+")
triple10
Harry is not big.
("Harry" "is" "big" "-")
((triple10) -> (rule5 % int1))
Harry is not big.
("Harry" "is" "big" "-")
int1
Harry is round.
("Harry" "is" "round" "+")
((triple8) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1