Anne is not cold. Anne is green. Anne is quiet. Anne is smart. Anne is young. Charlie is green. Charlie is smart. Fiona is cold. Fiona is smart. Harry is blue. Harry is cold. Harry is green. Harry is not quiet. Harry is not smart. Harry is white. Harry is young. If Charlie is not green then Charlie is cold. If something is green and not quiet then it is cold. If Harry is quiet then Harry is green. If Fiona is quiet and Fiona is white then Fiona is smart. White, cold things are blue. All cold things are blue. If something is smart and not green then it is white. If Harry is not white then Harry is blue.
Anne is not cold.
("Anne" "is" "cold" "-")
Anne is green.
("Anne" "is" "green" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is young.
("Anne" "is" "young" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is not quiet.
("Harry" "is" "quiet" "-")
Harry is not smart.
("Harry" "is" "smart" "-")
Harry is white.
("Harry" "is" "white" "+")
Harry is young.
("Harry" "is" "young" "+")
If Charlie is not green then Charlie is cold.
((("Charlie" "is" "green" "~")) -> ("Charlie" "is" "cold" "+"))
If something is green and not quiet then it is cold.
((("something" "is" "green" "+") ("something" "is" "quiet" "~")) -> ("something" "is" "cold" "+"))
If Harry is quiet then Harry is green.
((("Harry" "is" "quiet" "+")) -> ("Harry" "is" "green" "+"))
If Fiona is quiet and Fiona is white then Fiona is smart.
((("Fiona" "is" "quiet" "+") ("Fiona" "is" "white" "+")) -> ("Fiona" "is" "smart" "+"))
White, cold things are blue.
((("something" "is" "white" "+") ("something" "is" "cold" "+")) -> ("something" "is" "blue" "+"))
All cold things are blue.
((("something" "is" "cold" "+")) -> ("something" "is" "blue" "+"))
If something is smart and not green then it is white.
((("something" "is" "smart" "+") ("something" "is" "green" "~")) -> ("something" "is" "white" "+"))
If Harry is not white then Harry is blue.
((("Harry" "is" "white" "~")) -> ("Harry" "is" "blue" "+"))
Anne is smart.
True
1
proof
[(triple4)]
("Anne" "is" "smart" "+")
triple4
Charlie is not smart.
False
1
inv-proof
[(triple7)]
("Charlie" "is" "smart" "-")
triple7
Anne is not white.
Unknown
inv-rconc
[@1: Anne is white.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Anne" "is" "white" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
@0: Anne is green.[(triple2)] Anne is not cold.[(triple1)] Anne is quiet.[(triple3)] Anne is smart.[(triple4)] Anne is young.[(triple5)] Charlie is green.[(triple6)] Charlie is smart.[(triple7)] Fiona is cold.[(triple8)] Fiona is smart.[(triple9)] Harry is blue.[(triple10 OR ((triple11) -> rule6) OR ((triple15 triple11) -> rule5) OR ((((triple12 triple13) -> rule2)) -> rule6) OR ((triple15 ((triple12 triple13) -> rule2)) -> rule5))] Harry is cold.[(triple11 OR ((triple12 triple13) -> rule2))] Harry is green.[(triple12)] Harry is not quiet.[(triple13)] Harry is not smart.[(triple14)] Harry is white.[(triple15)] Harry is young.[(triple16)] @1: Fiona is blue.[(((triple8) -> rule6))]
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is not cold.
("Anne" "is" "cold" "-")
triple1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
Anne is smart.
("Anne" "is" "smart" "+")
triple4
Anne is young.
("Anne" "is" "young" "+")
triple5
Charlie is green.
("Charlie" "is" "green" "+")
triple6
Charlie is smart.
("Charlie" "is" "smart" "+")
triple7
Fiona is cold.
("Fiona" "is" "cold" "+")
triple8
Fiona is smart.
("Fiona" "is" "smart" "+")
triple9
Harry is blue.
("Harry" "is" "blue" "+")
triple10
((triple11) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
((triple15 triple11) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
((((triple12 triple13) -> (rule2 % int2))) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
((triple15 ((triple12 triple13) -> (rule2 % int2))) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
triple11
((triple12 triple13) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
triple12
Harry is not quiet.
("Harry" "is" "quiet" "-")
triple13
Harry is not smart.
("Harry" "is" "smart" "-")
triple14
Harry is white.
("Harry" "is" "white" "+")
triple15
Harry is young.
("Harry" "is" "young" "+")
triple16
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple8) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1