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