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