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