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