Charlie is not big. Charlie is furry. Charlie is white. Erin is big. Erin is blue. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is quiet. Harry is not big. Harry is blue. Harry is furry. Harry is kind. Harry is not nice. Harry is quiet. If Erin is furry and Erin is big then Erin is white. All big people are not quiet. If someone is white and not nice then they are big.
Charlie is not big.
("Charlie" "is" "big" "-")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Harry is not big.
("Harry" "is" "big" "-")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is not nice.
("Harry" "is" "nice" "-")
Harry is quiet.
("Harry" "is" "quiet" "+")
If Erin is furry and Erin is big then Erin is white.
((("Erin" "is" "furry" "+") ("Erin" "is" "big" "+")) -> ("Erin" "is" "white" "+"))
All big people are not quiet.
((("someone" "is" "big" "+")) -> ("someone" "is" "quiet" "-"))
If someone is white and not nice then they are big.
((("someone" "is" "white" "+") ("someone" "is" "nice" "~")) -> ("someone" "is" "big" "+"))
Erin is blue.
True
1
proof
[(triple5)]
("Erin" "is" "blue" "+")
triple5
Harry is not blue.
False
1
inv-proof
[(triple11)]
("Harry" "is" "blue" "-")
triple11
Erin is not quiet.
True
2
proof
[(((triple4) -> rule2))]
("Erin" "is" "quiet" "-")
((triple4) -> (rule2 % int1))
Erin is not quiet.
("Erin" "is" "quiet" "-")
int1
Erin is quiet.
False
2
inv-proof
[(((triple4) -> rule2))]
("Erin" "is" "quiet" "+")
((triple4) -> (rule2 % int1))
Erin is not quiet.
("Erin" "is" "quiet" "-")
int1
Fiona is not big.
Unknown
inv-rconc
[@1: Fiona is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "big" "-")
Erin is white.
Unknown
rconc
[@1: Erin is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "white" "+")
Harry is not white.
Unknown
inv-random
[@0: Harry is white.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "white" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
@0: Charlie is furry.[(triple2)] Charlie is not big.[(triple1)] Charlie is white.[(triple3)] Erin is big.[(triple4)] Erin is blue.[(triple5)] Fiona is furry.[(triple6)] Fiona is kind.[(triple7)] Fiona is nice.[(triple8)] Fiona is quiet.[(triple9)] Harry is blue.[(triple11)] Harry is furry.[(triple12)] Harry is kind.[(triple13)] Harry is not big.[(triple10)] Harry is not nice.[(triple14)] Harry is quiet.[(triple15)] @1: Erin is not quiet.[(((triple4) -> rule2))]
Charlie is furry.
("Charlie" "is" "furry" "+")
triple2
Charlie is not big.
("Charlie" "is" "big" "-")
triple1
Charlie is white.
("Charlie" "is" "white" "+")
triple3
Erin is big.
("Erin" "is" "big" "+")
triple4
Erin is blue.
("Erin" "is" "blue" "+")
triple5
Fiona is furry.
("Fiona" "is" "furry" "+")
triple6
Fiona is kind.
("Fiona" "is" "kind" "+")
triple7
Fiona is nice.
("Fiona" "is" "nice" "+")
triple8
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple9
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Harry is furry.
("Harry" "is" "furry" "+")
triple12
Harry is kind.
("Harry" "is" "kind" "+")
triple13
Harry is not big.
("Harry" "is" "big" "-")
triple10
Harry is not nice.
("Harry" "is" "nice" "-")
triple14
Harry is quiet.
("Harry" "is" "quiet" "+")
triple15
Erin is not quiet.
("Erin" "is" "quiet" "-")
((triple4) -> (rule2 % int1))
Erin is not quiet.
("Erin" "is" "quiet" "-")
int1