Anne is big. Anne is green. Anne is kind. Anne is red. Erin is not blue. Erin is furry. Erin is green. Erin is kind. Erin is not red. Fiona is big. Fiona is furry. Fiona is kind. Fiona is red. Harry is furry. Harry is green. Harry is not young. If something is furry then it is not blue. If something is green and not big then it is blue. If Fiona is not kind then Fiona is green. All big things are red. If Erin is blue and Erin is not big then Erin is furry. If Anne is not kind then Anne is green.
Anne is big.
("Anne" "is" "big" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is red.
("Anne" "is" "red" "+")
Erin is not blue.
("Erin" "is" "blue" "-")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is not red.
("Erin" "is" "red" "-")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is not young.
("Harry" "is" "young" "-")
If something is furry then it is not blue.
((("something" "is" "furry" "+")) -> ("something" "is" "blue" "-"))
If something is green and not big then it is blue.
((("something" "is" "green" "+") ("something" "is" "big" "~")) -> ("something" "is" "blue" "+"))
If Fiona is not kind then Fiona is green.
((("Fiona" "is" "kind" "~")) -> ("Fiona" "is" "green" "+"))
All big things are red.
((("something" "is" "big" "+")) -> ("something" "is" "red" "+"))
If Erin is blue and Erin is not big then Erin is furry.
((("Erin" "is" "blue" "+") ("Erin" "is" "big" "~")) -> ("Erin" "is" "furry" "+"))
If Anne is not kind then Anne is green.
((("Anne" "is" "kind" "~")) -> ("Anne" "is" "green" "+"))
Harry is not young.
True
1
proof
[(triple16)]
("Harry" "is" "young" "-")
triple16
Harry is not green.
False
1
inv-proof
[(triple15)]
("Harry" "is" "green" "-")
triple15
Harry is not blue.
True
2
proof
[(((triple14) -> rule1))]
("Harry" "is" "blue" "-")
((triple14) -> (rule1 % int1))
Harry is not blue.
("Harry" "is" "blue" "-")
int1
Fiona is blue.
False
2
inv-proof
[(((triple11) -> rule1))]
("Fiona" "is" "blue" "+")
((triple11) -> (rule1 % int1))
Fiona is not blue.
("Fiona" "is" "blue" "-")
int1
Fiona is not green.
Unknown
inv-rconc
[@1: Fiona is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "green" "-")
Harry is red.
Unknown
rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "red" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Erin is big.
Unknown
random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "+")
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is kind.[(triple3)] Anne is red.[(triple4 OR ((triple1) -> rule4))] Erin is furry.[(triple6)] Erin is green.[(triple7)] Erin is kind.[(triple8)] Erin is not blue.[(triple5 OR ((triple6) -> rule1))] Erin is not red.[(triple9)] Fiona is big.[(triple10)] Fiona is furry.[(triple11)] Fiona is kind.[(triple12)] Fiona is red.[(triple13 OR ((triple10) -> rule4))] Harry is furry.[(triple14)] Harry is green.[(triple15)] Harry is not young.[(triple16)] @1: Fiona is not blue.[(((triple11) -> rule1))] Harry is not blue.[(((triple14) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Anne is red.
("Anne" "is" "red" "+")
triple4
((triple1) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
triple6
Erin is green.
("Erin" "is" "green" "+")
triple7
Erin is kind.
("Erin" "is" "kind" "+")
triple8
Erin is not blue.
("Erin" "is" "blue" "-")
triple5
((triple6) -> (rule1 % int1))
Erin is not blue.
("Erin" "is" "blue" "-")
int1
Erin is not red.
("Erin" "is" "red" "-")
triple9
Fiona is big.
("Fiona" "is" "big" "+")
triple10
Fiona is furry.
("Fiona" "is" "furry" "+")
triple11
Fiona is kind.
("Fiona" "is" "kind" "+")
triple12
Fiona is red.
("Fiona" "is" "red" "+")
triple13
((triple10) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
triple14
Harry is green.
("Harry" "is" "green" "+")
triple15
Harry is not young.
("Harry" "is" "young" "-")
triple16
Fiona is not blue.
("Fiona" "is" "blue" "-")
((triple11) -> (rule1 % int1))
Fiona is not blue.
("Fiona" "is" "blue" "-")
int1
Harry is not blue.
("Harry" "is" "blue" "-")
((triple14) -> (rule1 % int1))
Harry is not blue.
("Harry" "is" "blue" "-")
int1