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