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