Anne is furry. Anne is not green. Anne is nice. Anne is red. Anne is rough. Anne is smart. Anne is white. Charlie is furry. Charlie is nice. Charlie is red. Charlie is smart. Charlie is white. Fiona is not furry. Fiona is green. Fiona is red. Fiona is white. If something is green then it is not furry. If something is green and not red then it is rough. All nice things are rough. If something is green and not furry then it is not nice. If something is furry and rough then it is nice. If Fiona is green and Fiona is not nice then Fiona is smart.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is not green.
("Anne" "is" "green" "-")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is white.
("Anne" "is" "white" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Fiona is not furry.
("Fiona" "is" "furry" "-")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If something is green then it is not furry.
((("something" "is" "green" "+")) -> ("something" "is" "furry" "-"))
If something is green and not red then it is rough.
((("something" "is" "green" "+") ("something" "is" "red" "~")) -> ("something" "is" "rough" "+"))
All nice things are rough.
((("something" "is" "nice" "+")) -> ("something" "is" "rough" "+"))
If something is green and not furry then it is not nice.
((("something" "is" "green" "+") ("something" "is" "furry" "~")) -> ("something" "is" "nice" "-"))
If something is furry and rough then it is nice.
((("something" "is" "furry" "+") ("something" "is" "rough" "+")) -> ("something" "is" "nice" "+"))
If Fiona is green and Fiona is not nice then Fiona is smart.
((("Fiona" "is" "green" "+") ("Fiona" "is" "nice" "~")) -> ("Fiona" "is" "smart" "+"))
Fiona is green.
True
1
proof
[(triple14)]
("Fiona" "is" "green" "+")
triple14
Fiona is not white.
False
1
inv-proof
[(triple16)]
("Fiona" "is" "white" "-")
triple16
Fiona is not nice.
True
3
proof
[(((triple14 triple13) -> rule4) OR ((triple14 ((triple14) -> rule1)) -> rule4))]
("Fiona" "is" "nice" "-")
((triple14 triple13) -> (rule4 % int1))
Fiona is not nice.
("Fiona" "is" "nice" "-")
int1
((triple14 ((triple14) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is not nice.
("Fiona" "is" "nice" "-")
int1
Fiona is not furry.
("Fiona" "is" "furry" "-")
int2
Fiona is nice.
False
3
inv-proof
[(((triple14 triple13) -> rule4) OR ((triple14 ((triple14) -> rule1)) -> rule4))]
("Fiona" "is" "nice" "+")
((triple14 triple13) -> (rule4 % int1))
Fiona is not nice.
("Fiona" "is" "nice" "-")
int1
((triple14 ((triple14) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is not nice.
("Fiona" "is" "nice" "-")
int1
Fiona is not furry.
("Fiona" "is" "furry" "-")
int2
Fiona is smart.
True
5
proof
[(((triple14 ((triple14 triple13) -> rule4)) -> rule6) OR ((triple14 ((triple14 ((triple14) -> rule1)) -> rule4)) -> rule6))]
("Fiona" "is" "smart" "+")
((triple14 ((triple14 triple13) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is not nice.
("Fiona" "is" "nice" "-")
int2
((triple14 ((triple14 ((triple14) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is not nice.
("Fiona" "is" "nice" "-")
int2
Fiona is not furry.
("Fiona" "is" "furry" "-")
int3
Fiona is not smart.
False
5
inv-proof
[(((triple14 ((triple14 triple13) -> rule4)) -> rule6) OR ((triple14 ((triple14 ((triple14) -> rule1)) -> rule4)) -> rule6))]
("Fiona" "is" "smart" "-")
((triple14 ((triple14 triple13) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is not nice.
("Fiona" "is" "nice" "-")
int2
((triple14 ((triple14 ((triple14) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is not nice.
("Fiona" "is" "nice" "-")
int2
Fiona is not furry.
("Fiona" "is" "furry" "-")
int3
Fiona is not rough.
Unknown
inv-rconc
[@1: Fiona is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "rough" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
@0: Anne is furry.[(triple1)] Anne is nice.[(triple3 OR ((triple1 triple5) -> rule5))] Anne is not green.[(triple2)] Anne is red.[(triple4)] Anne is rough.[(triple5 OR ((triple3) -> rule3))] Anne is smart.[(triple6)] Anne is white.[(triple7)] Charlie is furry.[(triple8)] Charlie is nice.[(triple9)] Charlie is red.[(triple10)] Charlie is smart.[(triple11)] Charlie is white.[(triple12)] Fiona is green.[(triple14)] Fiona is not furry.[(triple13 OR ((triple14) -> rule1))] Fiona is red.[(triple15)] Fiona is white.[(triple16)] @1: Charlie is rough.[(((triple9) -> rule3))] Fiona is not nice.[(((triple14 triple13) -> rule4) OR ((triple14 ((triple14) -> rule1)) -> rule4))] @2: Fiona is smart.[(((triple14 ((triple14 triple13) -> rule4)) -> rule6) OR ((triple14 ((triple14 ((triple14) -> rule1)) -> rule4)) -> rule6))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple3
((triple1 triple5) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is not green.
("Anne" "is" "green" "-")
triple2
Anne is red.
("Anne" "is" "red" "+")
triple4
Anne is rough.
("Anne" "is" "rough" "+")
triple5
((triple3) -> (rule3 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
triple6
Anne is white.
("Anne" "is" "white" "+")
triple7
Charlie is furry.
("Charlie" "is" "furry" "+")
triple8
Charlie is nice.
("Charlie" "is" "nice" "+")
triple9
Charlie is red.
("Charlie" "is" "red" "+")
triple10
Charlie is smart.
("Charlie" "is" "smart" "+")
triple11
Charlie is white.
("Charlie" "is" "white" "+")
triple12
Fiona is green.
("Fiona" "is" "green" "+")
triple14
Fiona is not furry.
("Fiona" "is" "furry" "-")
triple13
((triple14) -> (rule1 % int1))
Fiona is not furry.
("Fiona" "is" "furry" "-")
int1
Fiona is red.
("Fiona" "is" "red" "+")
triple15
Fiona is white.
("Fiona" "is" "white" "+")
triple16
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple9) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Fiona is not nice.
("Fiona" "is" "nice" "-")
((triple14 triple13) -> (rule4 % int1))
Fiona is not nice.
("Fiona" "is" "nice" "-")
int1
((triple14 ((triple14) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is not nice.
("Fiona" "is" "nice" "-")
int1
Fiona is not furry.
("Fiona" "is" "furry" "-")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple14 ((triple14 triple13) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is not nice.
("Fiona" "is" "nice" "-")
int2
((triple14 ((triple14 ((triple14) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is not nice.
("Fiona" "is" "nice" "-")
int2
Fiona is not furry.
("Fiona" "is" "furry" "-")
int3