Anne is rough. Bob is smart. Erin is green. Fiona is smart. If something is quiet then it is nice. If something is rough and young then it is green. All smart, round things are nice. All green things are round. If something is young then it is rough. If something is smart then it is quiet. Smart, quiet things are young. Green, young things are round.
Anne is rough.
("Anne" "is" "rough" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Erin is green.
("Erin" "is" "green" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
If something is quiet then it is nice.
((("something" "is" "quiet" "+")) -> ("something" "is" "nice" "+"))
If something is rough and young then it is green.
((("something" "is" "rough" "+") ("something" "is" "young" "+")) -> ("something" "is" "green" "+"))
All smart, round things are nice.
((("something" "is" "smart" "+") ("something" "is" "round" "+")) -> ("something" "is" "nice" "+"))
All green things are round.
((("something" "is" "green" "+")) -> ("something" "is" "round" "+"))
If something is young then it is rough.
((("something" "is" "young" "+")) -> ("something" "is" "rough" "+"))
If something is smart then it is quiet.
((("something" "is" "smart" "+")) -> ("something" "is" "quiet" "+"))
Smart, quiet things are young.
((("something" "is" "smart" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "young" "+"))
Green, young things are round.
((("something" "is" "green" "+") ("something" "is" "young" "+")) -> ("something" "is" "round" "+"))
Anne is rough.
True
1
proof
[(triple1)]
("Anne" "is" "rough" "+")
triple1
Erin is not green.
False
1
inv-proof
[(triple3)]
("Erin" "is" "green" "-")
triple3
Fiona is quiet.
True
2
proof
[(((triple4) -> rule6))]
("Fiona" "is" "quiet" "+")
((triple4) -> (rule6 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Bob is not quiet.
False
2
inv-proof
[(((triple2) -> rule6))]
("Bob" "is" "quiet" "-")
((triple2) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Erin is not young.
Unknown
inv-rconc
[@1: Erin is young.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Erin" "is" "young" "-")
Anne is nice.
Unknown
rconc
[@2: Anne is nice.[CWA. Example of deepest failure = (rule1 <- rule6 <- FAIL)]]
("Anne" "is" "nice" "+")
Anne is not smart.
Unknown
inv-random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "-")
Erin is smart.
Unknown
random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "+")
@0: Anne is rough.[(triple1)] Bob is smart.[(triple2)] Erin is green.[(triple3)] Fiona is smart.[(triple4)] @1: Bob is quiet.[(((triple2) -> rule6))] Erin is round.[(((triple3) -> rule4))] Fiona is quiet.[(((triple4) -> rule6))] @2: Bob is nice.[(((((triple2) -> rule6)) -> rule1) OR ((triple2 ((((((((triple2 ((triple2) -> rule6)) -> rule7)) -> rule5) ((triple2 ((triple2) -> rule6)) -> rule7)) -> rule2)) -> rule4)) -> rule3) OR ((triple2 ((((((((triple2 ((triple2) -> rule6)) -> rule7)) -> rule5) ((triple2 ((triple2) -> rule6)) -> rule7)) -> rule2) ((triple2 ((triple2) -> rule6)) -> rule7)) -> rule8)) -> rule3))] Bob is young.[(((triple2 ((triple2) -> rule6)) -> rule7))] Fiona is nice.[(((((triple4) -> rule6)) -> rule1) OR ((triple4 ((((((((triple4 ((triple4) -> rule6)) -> rule7)) -> rule5) ((triple4 ((triple4) -> rule6)) -> rule7)) -> rule2)) -> rule4)) -> rule3) OR ((triple4 ((((((((triple4 ((triple4) -> rule6)) -> rule7)) -> rule5) ((triple4 ((triple4) -> rule6)) -> rule7)) -> rule2) ((triple4 ((triple4) -> rule6)) -> rule7)) -> rule8)) -> rule3))] Fiona is young.[(((triple4 ((triple4) -> rule6)) -> rule7))] @3: Bob is rough.[(((((triple2 ((triple2) -> rule6)) -> rule7)) -> rule5))] Fiona is rough.[(((((triple4 ((triple4) -> rule6)) -> rule7)) -> rule5))] @4: Bob is green.[(((((((triple2 ((triple2) -> rule6)) -> rule7)) -> rule5) ((triple2 ((triple2) -> rule6)) -> rule7)) -> rule2))] Fiona is green.[(((((((triple4 ((triple4) -> rule6)) -> rule7)) -> rule5) ((triple4 ((triple4) -> rule6)) -> rule7)) -> rule2))] @5: Bob is round.[(((((((((triple2 ((triple2) -> rule6)) -> rule7)) -> rule5) ((triple2 ((triple2) -> rule6)) -> rule7)) -> rule2)) -> rule4) OR ((((((((triple2 ((triple2) -> rule6)) -> rule7)) -> rule5) ((triple2 ((triple2) -> rule6)) -> rule7)) -> rule2) ((triple2 ((triple2) -> rule6)) -> rule7)) -> rule8))] Fiona is round.[(((((((((triple4 ((triple4) -> rule6)) -> rule7)) -> rule5) ((triple4 ((triple4) -> rule6)) -> rule7)) -> rule2)) -> rule4) OR ((((((((triple4 ((triple4) -> rule6)) -> rule7)) -> rule5) ((triple4 ((triple4) -> rule6)) -> rule7)) -> rule2) ((triple4 ((triple4) -> rule6)) -> rule7)) -> rule8))]
Anne is rough.
("Anne" "is" "rough" "+")
triple1
Bob is smart.
("Bob" "is" "smart" "+")
triple2
Erin is green.
("Erin" "is" "green" "+")
triple3
Fiona is smart.
("Fiona" "is" "smart" "+")
triple4
Bob is quiet.
("Bob" "is" "quiet" "+")
((triple2) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
((triple3) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple4) -> (rule6 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
((((triple2) -> (rule6 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
((triple2 ((((((((triple2 ((triple2) -> (rule6 % int6))) -> (rule7 % int5))) -> (rule5 % int4)) ((triple2 ((triple2) -> (rule6 % int6))) -> (rule7 % int5))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is quiet.
("Bob" "is" "quiet" "+")
int6
((triple2 ((((((((triple2 ((triple2) -> (rule6 % int6))) -> (rule7 % int5))) -> (rule5 % int4)) ((triple2 ((triple2) -> (rule6 % int6))) -> (rule7 % int5))) -> (rule2 % int3)) ((triple2 ((triple2) -> (rule6 % int6))) -> (rule7 % int5))) -> (rule8 % int2))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is quiet.
("Bob" "is" "quiet" "+")
int6
Bob is young.
("Bob" "is" "young" "+")
((triple2 ((triple2) -> (rule6 % int2))) -> (rule7 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
((((triple4) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
((triple4 ((((((((triple4 ((triple4) -> (rule6 % int6))) -> (rule7 % int5))) -> (rule5 % int4)) ((triple4 ((triple4) -> (rule6 % int6))) -> (rule7 % int5))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int6
((triple4 ((((((((triple4 ((triple4) -> (rule6 % int6))) -> (rule7 % int5))) -> (rule5 % int4)) ((triple4 ((triple4) -> (rule6 % int6))) -> (rule7 % int5))) -> (rule2 % int3)) ((triple4 ((triple4) -> (rule6 % int6))) -> (rule7 % int5))) -> (rule8 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int6
Fiona is young.
("Fiona" "is" "young" "+")
((triple4 ((triple4) -> (rule6 % int2))) -> (rule7 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
((((triple2 ((triple2) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
((((triple4 ((triple4) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
((((((triple2 ((triple2) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule5 % int2)) ((triple2 ((triple2) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
((((((triple4 ((triple4) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule5 % int2)) ((triple4 ((triple4) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
((((((((triple2 ((triple2) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule5 % int3)) ((triple2 ((triple2) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((((triple2 ((triple2) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule5 % int3)) ((triple2 ((triple2) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule2 % int2)) ((triple2 ((triple2) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
Fiona is round.
("Fiona" "is" "round" "+")
((((((((triple4 ((triple4) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule5 % int3)) ((triple4 ((triple4) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int5
((((((((triple4 ((triple4) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule5 % int3)) ((triple4 ((triple4) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule2 % int2)) ((triple4 ((triple4) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule8 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int5