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