Anne is smart. Anne is white. Charlie is furry. Charlie is quiet. Charlie is smart. Charlie is white. Erin is green. Erin is young. Fiona is nice. Fiona is smart. If something is smart then it is young. If Fiona is nice and Fiona is furry then Fiona is green. All green, white things are young. All young, smart things are white. If something is nice and smart then it is young. All smart things are quiet. If something is green and young then it is furry. Quiet, green things are nice.
Anne is smart.
("Anne" "is" "smart" "+")
Anne is white.
("Anne" "is" "white" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
If something is smart then it is young.
((("something" "is" "smart" "+")) -> ("something" "is" "young" "+"))
If Fiona is nice and Fiona is furry then Fiona is green.
((("Fiona" "is" "nice" "+") ("Fiona" "is" "furry" "+")) -> ("Fiona" "is" "green" "+"))
All green, white things are young.
((("something" "is" "green" "+") ("something" "is" "white" "+")) -> ("something" "is" "young" "+"))
All young, smart things are white.
((("something" "is" "young" "+") ("something" "is" "smart" "+")) -> ("something" "is" "white" "+"))
If something is nice and smart then it is young.
((("something" "is" "nice" "+") ("something" "is" "smart" "+")) -> ("something" "is" "young" "+"))
All smart things are quiet.
((("something" "is" "smart" "+")) -> ("something" "is" "quiet" "+"))
If something is green and young then it is furry.
((("something" "is" "green" "+") ("something" "is" "young" "+")) -> ("something" "is" "furry" "+"))
Quiet, green things are nice.
((("something" "is" "quiet" "+") ("something" "is" "green" "+")) -> ("something" "is" "nice" "+"))
Charlie is furry.
True
1
proof
[(triple3)]
("Charlie" "is" "furry" "+")
triple3
Fiona is not smart.
False
1
inv-proof
[(triple10)]
("Fiona" "is" "smart" "-")
triple10
Erin is furry.
True
3
proof
[(((triple7 triple8) -> rule7))]
("Erin" "is" "furry" "+")
((triple7 triple8) -> (rule7 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Anne is not young.
False
2
inv-proof
[(((triple1) -> rule1))]
("Anne" "is" "young" "-")
((triple1) -> (rule1 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Fiona is white.
True
4
proof
[(((((triple10) -> rule1) triple10) -> rule4) OR ((((triple9 triple10) -> rule5) triple10) -> rule4))]
("Fiona" "is" "white" "+")
((((triple10) -> (rule1 % int2)) triple10) -> (rule4 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
((((triple9 triple10) -> (rule5 % int2)) triple10) -> (rule4 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is not white.
False
4
inv-proof
[(((((triple10) -> rule1) triple10) -> rule4) OR ((((triple9 triple10) -> rule5) triple10) -> rule4))]
("Fiona" "is" "white" "-")
((((triple10) -> (rule1 % int2)) triple10) -> (rule4 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
((((triple9 triple10) -> (rule5 % int2)) triple10) -> (rule4 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is not green.
Unknown
inv-rconc
[@2: Fiona is green.[CWA. Example of deepest failure = (rule2 <- rule7 <- FAIL)]]
("Fiona" "is" "green" "-")
Erin is nice.
Unknown
rconc
[@2: Erin is nice.[CWA. Example of deepest failure = (rule8 <- rule6 <- FAIL)]]
("Erin" "is" "nice" "+")
Fiona is not furry.
Unknown
inv-rconc
[@2: Fiona is furry.[CWA. Example of deepest failure = (rule7 <- rule2 <- FAIL)]]
("Fiona" "is" "furry" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
Anne is not green.
Unknown
inv-random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "-")
Erin is smart.
Unknown
random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "+")
@0: Anne is smart.[(triple1)] Anne is white.[(triple2 OR ((((triple1) -> rule1) triple1) -> rule4))] Charlie is furry.[(triple3)] Charlie is quiet.[(triple4 OR ((triple5) -> rule6))] Charlie is smart.[(triple5)] Charlie is white.[(triple6 OR ((((triple5) -> rule1) triple5) -> rule4))] Erin is green.[(triple7)] Erin is young.[(triple8)] Fiona is nice.[(triple9)] Fiona is smart.[(triple10)] @1: Anne is quiet.[(((triple1) -> rule6))] Anne is young.[(((triple1) -> rule1))] Charlie is young.[(((triple5) -> rule1))] Erin is furry.[(((triple7 triple8) -> rule7))] Fiona is quiet.[(((triple10) -> rule6))] Fiona is young.[(((triple10) -> rule1) OR ((triple9 triple10) -> rule5))] @2: Fiona is white.[(((((triple10) -> rule1) triple10) -> rule4) OR ((((triple9 triple10) -> rule5) triple10) -> rule4))]
Anne is smart.
("Anne" "is" "smart" "+")
triple1
Anne is white.
("Anne" "is" "white" "+")
triple2
((((triple1) -> (rule1 % int2)) triple1) -> (rule4 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
triple3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple4
((triple5) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
triple5
Charlie is white.
("Charlie" "is" "white" "+")
triple6
((((triple5) -> (rule1 % int2)) triple5) -> (rule4 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
triple7
Erin is young.
("Erin" "is" "young" "+")
triple8
Fiona is nice.
("Fiona" "is" "nice" "+")
triple9
Fiona is smart.
("Fiona" "is" "smart" "+")
triple10
Anne is quiet.
("Anne" "is" "quiet" "+")
((triple1) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
((triple1) -> (rule1 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
((triple5) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
((triple7 triple8) -> (rule7 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple10) -> (rule6 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
((triple10) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
((triple9 triple10) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
((((triple10) -> (rule1 % int2)) triple10) -> (rule4 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
((((triple9 triple10) -> (rule5 % int2)) triple10) -> (rule4 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2