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