Charlie is smart. Charlie is white. Erin is quiet. Erin is smart. Erin is white. Erin is young. Fiona is furry. Fiona is quiet. Fiona is smart. Fiona is white. All furry things are quiet. All rough, blue things are quiet. All furry, blue things are quiet. All smart things are blue. Blue, white things are quiet. If something is quiet then it is white.
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
All furry things are quiet.
((("something" "is" "furry" "+")) -> ("something" "is" "quiet" "+"))
All rough, blue things are quiet.
((("something" "is" "rough" "+") ("something" "is" "blue" "+")) -> ("something" "is" "quiet" "+"))
All furry, blue things are quiet.
((("something" "is" "furry" "+") ("something" "is" "blue" "+")) -> ("something" "is" "quiet" "+"))
All smart things are blue.
((("something" "is" "smart" "+")) -> ("something" "is" "blue" "+"))
Blue, white things are quiet.
((("something" "is" "blue" "+") ("something" "is" "white" "+")) -> ("something" "is" "quiet" "+"))
If something is quiet then it is white.
((("something" "is" "quiet" "+")) -> ("something" "is" "white" "+"))
Erin is young.
True
1
proof
[(triple6)]
("Erin" "is" "young" "+")
triple6
Erin is not white.
False
1
inv-proof
[(triple5 OR ((triple3) -> rule6))]
("Erin" "is" "white" "-")
triple5
((triple3) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Fiona is not rough.
Unknown
inv-random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
@0: Charlie is smart.[(triple1)] Charlie is white.[(triple2)] Erin is quiet.[(triple3 OR ((((triple4) -> rule4) triple5) -> rule5))] Erin is smart.[(triple4)] Erin is white.[(triple5 OR ((triple3) -> rule6))] Erin is young.[(triple6)] Fiona is furry.[(triple7)] Fiona is quiet.[(triple8 OR ((triple7) -> rule1) OR ((triple7 ((triple9) -> rule4)) -> rule3) OR ((((triple9) -> rule4) triple10) -> rule5))] Fiona is smart.[(triple9)] Fiona is white.[(triple10 OR ((triple8) -> rule6) OR ((((triple7) -> rule1)) -> rule6) OR ((((triple7 ((triple9) -> rule4)) -> rule3)) -> rule6))] @1: Charlie is blue.[(((triple1) -> rule4))] Erin is blue.[(((triple4) -> rule4))] Fiona is blue.[(((triple9) -> rule4))] @2: Charlie is quiet.[(((((triple1) -> rule4) triple2) -> rule5))]
Charlie is smart.
("Charlie" "is" "smart" "+")
triple1
Charlie is white.
("Charlie" "is" "white" "+")
triple2
Erin is quiet.
("Erin" "is" "quiet" "+")
triple3
((((triple4) -> (rule4 % int2)) triple5) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
triple4
Erin is white.
("Erin" "is" "white" "+")
triple5
((triple3) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
triple6
Fiona is furry.
("Fiona" "is" "furry" "+")
triple7
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple8
((triple7) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
((triple7 ((triple9) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
((((triple9) -> (rule4 % int2)) triple10) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
triple9
Fiona is white.
("Fiona" "is" "white" "+")
triple10
((triple8) -> (rule6 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
((((triple7) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
((((triple7 ((triple9) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple1) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
((triple4) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple9) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((((triple1) -> (rule4 % int2)) triple2) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2