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