Charlie is blue. Charlie is not white. Erin is not big. Erin is not blue. Erin is quiet. Fiona is big. Fiona is blue. Fiona is green. Fiona is white. Harry is big. Harry is green. Harry is white. If Harry is smart and Harry is white then Harry is not young. If something is young and smart then it is blue. If Harry is white then Harry is not quiet.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is not white.
("Charlie" "is" "white" "-")
Erin is not big.
("Erin" "is" "big" "-")
Erin is not blue.
("Erin" "is" "blue" "-")
Erin is quiet.
("Erin" "is" "quiet" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is white.
("Harry" "is" "white" "+")
If Harry is smart and Harry is white then Harry is not young.
((("Harry" "is" "smart" "+") ("Harry" "is" "white" "+")) -> ("Harry" "is" "young" "-"))
If something is young and smart then it is blue.
((("something" "is" "young" "+") ("something" "is" "smart" "+")) -> ("something" "is" "blue" "+"))
If Harry is white then Harry is not quiet.
((("Harry" "is" "white" "+")) -> ("Harry" "is" "quiet" "-"))
Harry is green.
True
1
proof
[(triple11)]
("Harry" "is" "green" "+")
triple11
Fiona is not big.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "big" "-")
triple6
Harry is not quiet.
True
2
proof
[(((triple12) -> rule3))]
("Harry" "is" "quiet" "-")
((triple12) -> (rule3 % int1))
Harry is not quiet.
("Harry" "is" "quiet" "-")
int1
Harry is quiet.
False
2
inv-proof
[(((triple12) -> rule3))]
("Harry" "is" "quiet" "+")
((triple12) -> (rule3 % int1))
Harry is not quiet.
("Harry" "is" "quiet" "-")
int1
Harry is not blue.
Unknown
inv-rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "blue" "-")
Charlie is smart.
Unknown
random
[@0: Charlie is smart.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "smart" "+")
Charlie is not young.
Unknown
inv-random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
@0: Charlie is blue.[(triple1)] Charlie is not white.[(triple2)] Erin is not big.[(triple3)] Erin is not blue.[(triple4)] Erin is quiet.[(triple5)] Fiona is big.[(triple6)] Fiona is blue.[(triple7)] Fiona is green.[(triple8)] Fiona is white.[(triple9)] Harry is big.[(triple10)] Harry is green.[(triple11)] Harry is white.[(triple12)] @1: Harry is not quiet.[(((triple12) -> rule3))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Charlie is not white.
("Charlie" "is" "white" "-")
triple2
Erin is not big.
("Erin" "is" "big" "-")
triple3
Erin is not blue.
("Erin" "is" "blue" "-")
triple4
Erin is quiet.
("Erin" "is" "quiet" "+")
triple5
Fiona is big.
("Fiona" "is" "big" "+")
triple6
Fiona is blue.
("Fiona" "is" "blue" "+")
triple7
Fiona is green.
("Fiona" "is" "green" "+")
triple8
Fiona is white.
("Fiona" "is" "white" "+")
triple9
Harry is big.
("Harry" "is" "big" "+")
triple10
Harry is green.
("Harry" "is" "green" "+")
triple11
Harry is white.
("Harry" "is" "white" "+")
triple12
Harry is not quiet.
("Harry" "is" "quiet" "-")
((triple12) -> (rule3 % int1))
Harry is not quiet.
("Harry" "is" "quiet" "-")
int1