Charlie is big. Charlie is white. Erin is big. Erin is blue. Erin is not furry. Erin is not nice. Erin is quiet. Erin is round. Erin is white. Fiona is big. Fiona is blue. Fiona is furry. Fiona is quiet. Fiona is round. Fiona is white. If something is nice then it is blue. If something is big then it is blue. If something is quiet and not nice then it is big. If Charlie is quiet and Charlie is blue then Charlie is white. If Charlie is quiet then Charlie is white. All big things are quiet. If something is quiet and not blue then it is round. All nice things are round.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is not furry.
("Erin" "is" "furry" "-")
Erin is not nice.
("Erin" "is" "nice" "-")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If something is nice then it is blue.
((("something" "is" "nice" "+")) -> ("something" "is" "blue" "+"))
If something is big then it is blue.
((("something" "is" "big" "+")) -> ("something" "is" "blue" "+"))
If something is quiet and not nice then it is big.
((("something" "is" "quiet" "+") ("something" "is" "nice" "~")) -> ("something" "is" "big" "+"))
If Charlie is quiet and Charlie is blue then Charlie is white.
((("Charlie" "is" "quiet" "+") ("Charlie" "is" "blue" "+")) -> ("Charlie" "is" "white" "+"))
If Charlie is quiet then Charlie is white.
((("Charlie" "is" "quiet" "+")) -> ("Charlie" "is" "white" "+"))
All big things are quiet.
((("something" "is" "big" "+")) -> ("something" "is" "quiet" "+"))
If something is quiet and not blue then it is round.
((("something" "is" "quiet" "+") ("something" "is" "blue" "~")) -> ("something" "is" "round" "+"))
All nice things are round.
((("something" "is" "nice" "+")) -> ("something" "is" "round" "+"))
Erin is blue.
True
1
proof
[(triple4 OR ((triple3) -> rule2) OR ((((triple7 triple6) -> rule3)) -> rule2))]
("Erin" "is" "blue" "+")
triple4
((triple3) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
((((triple7 triple6) -> (rule3 % int2))) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is not white.
False
1
inv-proof
[(triple9)]
("Erin" "is" "white" "-")
triple9
Charlie is blue.
True
2
proof
[(((triple1) -> rule2))]
("Charlie" "is" "blue" "+")
((triple1) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is not quiet.
False
2
inv-proof
[(((triple1) -> rule6))]
("Charlie" "is" "quiet" "-")
((triple1) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is not round.
Unknown
inv-rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Charlie" "is" "round" "-")
Charlie is furry.
Unknown
random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "+")
Charlie is not nice.
Unknown
inv-random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
@0: Charlie is big.[(triple1)] Charlie is white.[(triple2 OR ((((triple1) -> rule6)) -> rule5) OR ((((triple1) -> rule6) ((triple1) -> rule2)) -> rule4))] Erin is big.[(triple3 OR ((triple7 triple6) -> rule3))] Erin is blue.[(triple4 OR ((triple3) -> rule2) OR ((((triple7 triple6) -> rule3)) -> rule2))] Erin is not furry.[(triple5)] Erin is not nice.[(triple6)] Erin is quiet.[(triple7 OR ((triple3) -> rule6))] Erin is round.[(triple8)] Erin is white.[(triple9)] Fiona is big.[(triple10)] Fiona is blue.[(triple11 OR ((triple10) -> rule2))] Fiona is furry.[(triple12)] Fiona is quiet.[(triple13 OR ((triple10) -> rule6))] Fiona is round.[(triple14)] Fiona is white.[(triple15)] @1: Charlie is blue.[(((triple1) -> rule2))] Charlie is quiet.[(((triple1) -> rule6))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Charlie is white.
("Charlie" "is" "white" "+")
triple2
((((triple1) -> (rule6 % int2))) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
((((triple1) -> (rule6 % int3)) ((triple1) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
triple3
((triple7 triple6) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
triple4
((triple3) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
((((triple7 triple6) -> (rule3 % int2))) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is not furry.
("Erin" "is" "furry" "-")
triple5
Erin is not nice.
("Erin" "is" "nice" "-")
triple6
Erin is quiet.
("Erin" "is" "quiet" "+")
triple7
((triple3) -> (rule6 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
triple8
Erin is white.
("Erin" "is" "white" "+")
triple9
Fiona is big.
("Fiona" "is" "big" "+")
triple10
Fiona is blue.
("Fiona" "is" "blue" "+")
triple11
((triple10) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple12
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple13
((triple10) -> (rule6 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
triple14
Fiona is white.
("Fiona" "is" "white" "+")
triple15
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple1) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((triple1) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1