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