Anne is blue. Anne is rough. Anne is round. Dave is blue. Dave is furry. Dave is kind. Dave is white. Fiona is not blue. Fiona is cold. Fiona is not furry. Harry is blue. Harry is cold. Harry is furry. Harry is not kind. Harry is not rough. Round, white people are not cold. Furry people are cold. If someone is rough and not kind then they are cold. If Dave is not kind then Dave is not rough. If Dave is furry then Dave is rough. All rough people are blue.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is white.
("Dave" "is" "white" "+")
Fiona is not blue.
("Fiona" "is" "blue" "-")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is not furry.
("Fiona" "is" "furry" "-")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is not kind.
("Harry" "is" "kind" "-")
Harry is not rough.
("Harry" "is" "rough" "-")
Round, white people are not cold.
((("someone" "is" "round" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "cold" "-"))
Furry people are cold.
((("someone" "is" "furry" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and not kind then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "cold" "+"))
If Dave is not kind then Dave is not rough.
((("Dave" "is" "kind" "~")) -> ("Dave" "is" "rough" "-"))
If Dave is furry then Dave is rough.
((("Dave" "is" "furry" "+")) -> ("Dave" "is" "rough" "+"))
All rough people are blue.
((("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
Anne is rough.
True
1
proof
[(triple2)]
("Anne" "is" "rough" "+")
triple2
Harry is not cold.
False
1
inv-proof
[(triple12 OR ((triple13) -> rule2))]
("Harry" "is" "cold" "-")
triple12
((triple13) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Dave is rough.
True
2
proof
[(((triple5) -> rule5))]
("Dave" "is" "rough" "+")
((triple5) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is not cold.
False
2
inv-proof
[(((triple5) -> rule2))]
("Dave" "is" "cold" "-")
((triple5) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Anne is not cold.
Unknown
inv-rconc
[@1: Anne is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "cold" "-")
Fiona is rough.
Unknown
random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "+")
Harry is not white.
Unknown
inv-random
[@0: Harry is white.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "white" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
@0: Anne is blue.[(triple1 OR ((triple2) -> rule6))] Anne is rough.[(triple2)] Anne is round.[(triple3)] Dave is blue.[(triple4 OR ((((triple5) -> rule5)) -> rule6))] Dave is furry.[(triple5)] Dave is kind.[(triple6)] Dave is white.[(triple7)] Fiona is cold.[(triple9)] Fiona is not blue.[(triple8)] Fiona is not furry.[(triple10)] Harry is blue.[(triple11)] Harry is cold.[(triple12 OR ((triple13) -> rule2))] Harry is furry.[(triple13)] Harry is not kind.[(triple14)] Harry is not rough.[(triple15)] @1: Dave is cold.[(((triple5) -> rule2))] Dave is rough.[(((triple5) -> rule5))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
((triple2) -> (rule6 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple3
Dave is blue.
("Dave" "is" "blue" "+")
triple4
((((triple5) -> (rule5 % int2))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
triple5
Dave is kind.
("Dave" "is" "kind" "+")
triple6
Dave is white.
("Dave" "is" "white" "+")
triple7
Fiona is cold.
("Fiona" "is" "cold" "+")
triple9
Fiona is not blue.
("Fiona" "is" "blue" "-")
triple8
Fiona is not furry.
("Fiona" "is" "furry" "-")
triple10
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Harry is cold.
("Harry" "is" "cold" "+")
triple12
((triple13) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
triple13
Harry is not kind.
("Harry" "is" "kind" "-")
triple14
Harry is not rough.
("Harry" "is" "rough" "-")
triple15
Dave is cold.
("Dave" "is" "cold" "+")
((triple5) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
((triple5) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1