Anne is round. Erin is not big. Fiona is round. Harry is young. All white things are nice. If something is big and not young then it is not nice. If Erin is not big then Erin is round. If Fiona is white and Fiona is young then Fiona is not nice. If Harry is young and Harry is cold then Harry is nice. If Fiona is young and Fiona is round then Fiona is green. If Erin is cold then Erin is not white. If something is nice and not cold then it is not round.
Anne is round.
("Anne" "is" "round" "+")
Erin is not big.
("Erin" "is" "big" "-")
Fiona is round.
("Fiona" "is" "round" "+")
Harry is young.
("Harry" "is" "young" "+")
All white things are nice.
((("something" "is" "white" "+")) -> ("something" "is" "nice" "+"))
If something is big and not young then it is not nice.
((("something" "is" "big" "+") ("something" "is" "young" "~")) -> ("something" "is" "nice" "-"))
If Erin is not big then Erin is round.
((("Erin" "is" "big" "~")) -> ("Erin" "is" "round" "+"))
If Fiona is white and Fiona is young then Fiona is not nice.
((("Fiona" "is" "white" "+") ("Fiona" "is" "young" "+")) -> ("Fiona" "is" "nice" "-"))
If Harry is young and Harry is cold then Harry is nice.
((("Harry" "is" "young" "+") ("Harry" "is" "cold" "+")) -> ("Harry" "is" "nice" "+"))
If Fiona is young and Fiona is round then Fiona is green.
((("Fiona" "is" "young" "+") ("Fiona" "is" "round" "+")) -> ("Fiona" "is" "green" "+"))
If Erin is cold then Erin is not white.
((("Erin" "is" "cold" "+")) -> ("Erin" "is" "white" "-"))
If something is nice and not cold then it is not round.
((("something" "is" "nice" "+") ("something" "is" "cold" "~")) -> ("something" "is" "round" "-"))
Harry is young.
True
1
proof
[(triple4)]
("Harry" "is" "young" "+")
triple4
Erin is big.
False
1
inv-proof
[(triple2)]
("Erin" "is" "big" "+")
triple2
Erin is round.
True
2
proof
[(((triple2) -> rule3))]
("Erin" "is" "round" "+")
((triple2) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is not round.
False
2
inv-proof
[(((triple2) -> rule3))]
("Erin" "is" "round" "-")
((triple2) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Fiona is not nice.
Unknown
inv-rconc
[@1: Fiona is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "nice" "-")
Erin is nice.
Unknown
rconc
[@1: Erin is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "nice" "+")
Erin is not green.
Unknown
inv-random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "-")
Fiona is young.
Unknown
random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "+")
@0: Anne is round.[(triple1)] Erin is not big.[(triple2)] Fiona is round.[(triple3)] Harry is young.[(triple4)] @1: Erin is round.[(((triple2) -> rule3))]
Anne is round.
("Anne" "is" "round" "+")
triple1
Erin is not big.
("Erin" "is" "big" "-")
triple2
Fiona is round.
("Fiona" "is" "round" "+")
triple3
Harry is young.
("Harry" "is" "young" "+")
triple4
Erin is round.
("Erin" "is" "round" "+")
((triple2) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1