Charlie is quiet. Charlie is red. Charlie is round. Fiona is quiet. Fiona is red. Fiona is round. Fiona is white. Young, kind people are smart. If someone is smart then they are white. If someone is quiet and red then they are smart. If Fiona is white then Fiona is quiet. If Charlie is kind and Charlie is smart then Charlie is quiet. All quiet people are kind. If someone is white then they are round. All smart, quiet people are round.
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Young, kind people are smart.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "smart" "+"))
If someone is smart then they are white.
((("someone" "is" "smart" "+")) -> ("someone" "is" "white" "+"))
If someone is quiet and red then they are smart.
((("someone" "is" "quiet" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "smart" "+"))
If Fiona is white then Fiona is quiet.
((("Fiona" "is" "white" "+")) -> ("Fiona" "is" "quiet" "+"))
If Charlie is kind and Charlie is smart then Charlie is quiet.
((("Charlie" "is" "kind" "+") ("Charlie" "is" "smart" "+")) -> ("Charlie" "is" "quiet" "+"))
All quiet people are kind.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "kind" "+"))
If someone is white then they are round.
((("someone" "is" "white" "+")) -> ("someone" "is" "round" "+"))
All smart, quiet people are round.
((("someone" "is" "smart" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "round" "+"))
Charlie is quiet.
True
1
proof
[(triple1)]
("Charlie" "is" "quiet" "+")
triple1
Charlie is not quiet.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "quiet" "-")
triple1
Charlie is smart.
True
3
proof
[(((triple1 triple2) -> rule3))]
("Charlie" "is" "smart" "+")
((triple1 triple2) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Fiona is not smart.
False
3
inv-proof
[(((triple4 triple5) -> rule3) OR ((((triple7) -> rule4) triple5) -> rule3))]
("Fiona" "is" "smart" "-")
((triple4 triple5) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((((triple7) -> (rule4 % int2)) triple5) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Charlie is not young.
Unknown
inv-random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "-")
Fiona is young.
Unknown
random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "+")
@0: Charlie is quiet.[(triple1)] Charlie is red.[(triple2)] Charlie is round.[(triple3 OR ((((triple1 triple2) -> rule3) triple1) -> rule8) OR ((((((triple1 triple2) -> rule3)) -> rule2)) -> rule7))] Fiona is quiet.[(triple4 OR ((triple7) -> rule4))] Fiona is red.[(triple5)] Fiona is round.[(triple6 OR ((triple7) -> rule7) OR ((((triple4 triple5) -> rule3) triple4) -> rule8) OR ((((triple4 triple5) -> rule3) ((triple7) -> rule4)) -> rule8) OR ((((((triple4 triple5) -> rule3)) -> rule2)) -> rule7) OR ((((((triple7) -> rule4) triple5) -> rule3) triple4) -> rule8) OR ((((((triple7) -> rule4) triple5) -> rule3) ((triple7) -> rule4)) -> rule8))] Fiona is white.[(triple7 OR ((((triple4 triple5) -> rule3)) -> rule2))] @1: Charlie is kind.[(((triple1) -> rule6))] Charlie is smart.[(((triple1 triple2) -> rule3))] Fiona is kind.[(((triple4) -> rule6) OR ((((triple7) -> rule4)) -> rule6))] Fiona is smart.[(((triple4 triple5) -> rule3) OR ((((triple7) -> rule4) triple5) -> rule3))] @2: Charlie is white.[(((((triple1 triple2) -> rule3)) -> rule2))]
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple1
Charlie is red.
("Charlie" "is" "red" "+")
triple2
Charlie is round.
("Charlie" "is" "round" "+")
triple3
((((triple1 triple2) -> (rule3 % int2)) triple1) -> (rule8 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((((((triple1 triple2) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple4
((triple7) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
triple5
Fiona is round.
("Fiona" "is" "round" "+")
triple6
((triple7) -> (rule7 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
((((triple4 triple5) -> (rule3 % int2)) triple4) -> (rule8 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
((((triple4 triple5) -> (rule3 % int3)) ((triple7) -> (rule4 % int2))) -> (rule8 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
((((((triple4 triple5) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
((((((triple7) -> (rule4 % int3)) triple5) -> (rule3 % int2)) triple4) -> (rule8 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
((((((triple7) -> (rule4 % int3)) triple5) -> (rule3 % int2)) ((triple7) -> (rule4 % int3))) -> (rule8 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
triple7
((((triple4 triple5) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple1) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
((triple1 triple2) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple4) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((((triple7) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple4 triple5) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((((triple7) -> (rule4 % int2)) triple5) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
((((triple1 triple2) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2