Anne is not cold. Anne is nice. Anne is not rough. Anne is smart. Anne is young. Dave is cold. Dave is nice. Fiona is cold. Fiona is furry. Fiona is rough. Harry is blue. Harry is cold. Harry is not furry. Harry is rough. Harry is smart. If something is blue then it is nice. All smart, young things are furry.
Anne is not cold.
("Anne" "is" "cold" "-")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is not rough.
("Anne" "is" "rough" "-")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is young.
("Anne" "is" "young" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is not furry.
("Harry" "is" "furry" "-")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is smart.
("Harry" "is" "smart" "+")
If something is blue then it is nice.
((("something" "is" "blue" "+")) -> ("something" "is" "nice" "+"))
All smart, young things are furry.
((("something" "is" "smart" "+") ("something" "is" "young" "+")) -> ("something" "is" "furry" "+"))
Anne is not rough.
True
1
proof
[(triple3)]
("Anne" "is" "rough" "-")
triple3
Anne is not young.
False
1
inv-proof
[(triple5)]
("Anne" "is" "young" "-")
triple5
Anne is furry.
True
3
proof
[(((triple4 triple5) -> rule2))]
("Anne" "is" "furry" "+")
((triple4 triple5) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Harry is not nice.
False
2
inv-proof
[(((triple11) -> rule1))]
("Harry" "is" "nice" "-")
((triple11) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Fiona is not nice.
Unknown
inv-rconc
[@1: Fiona is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "nice" "-")
Dave is furry.
Unknown
rconc
[@1: Dave is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "furry" "+")
Dave is not smart.
Unknown
inv-random
[@0: Dave is smart.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "smart" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
@0: Anne is nice.[(triple2)] Anne is not cold.[(triple1)] Anne is not rough.[(triple3)] Anne is smart.[(triple4)] Anne is young.[(triple5)] Dave is cold.[(triple6)] Dave is nice.[(triple7)] Fiona is cold.[(triple8)] Fiona is furry.[(triple9)] Fiona is rough.[(triple10)] Harry is blue.[(triple11)] Harry is cold.[(triple12)] Harry is not furry.[(triple13)] Harry is rough.[(triple14)] Harry is smart.[(triple15)] @1: Anne is furry.[(((triple4 triple5) -> rule2))] Harry is nice.[(((triple11) -> rule1))]
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is not cold.
("Anne" "is" "cold" "-")
triple1
Anne is not rough.
("Anne" "is" "rough" "-")
triple3
Anne is smart.
("Anne" "is" "smart" "+")
triple4
Anne is young.
("Anne" "is" "young" "+")
triple5
Dave is cold.
("Dave" "is" "cold" "+")
triple6
Dave is nice.
("Dave" "is" "nice" "+")
triple7
Fiona is cold.
("Fiona" "is" "cold" "+")
triple8
Fiona is furry.
("Fiona" "is" "furry" "+")
triple9
Fiona is rough.
("Fiona" "is" "rough" "+")
triple10
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Harry is cold.
("Harry" "is" "cold" "+")
triple12
Harry is not furry.
("Harry" "is" "furry" "-")
triple13
Harry is rough.
("Harry" "is" "rough" "+")
triple14
Harry is smart.
("Harry" "is" "smart" "+")
triple15
Anne is furry.
("Anne" "is" "furry" "+")
((triple4 triple5) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((triple11) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1