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