Anne is smart. Anne is young. Dave is furry. Dave is nice. Dave is round. Dave is young. Erin is kind. Erin is nice. Gary is furry. Gary is kind. Gary is nice. Gary is not rough. Gary is round. Gary is smart. Gary is young. If someone is kind then they are furry. Kind, furry people are smart.
Anne is smart.
("Anne" "is" "smart" "+")
Anne is young.
("Anne" "is" "young" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is not rough.
("Gary" "is" "rough" "-")
Gary is round.
("Gary" "is" "round" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is young.
("Gary" "is" "young" "+")
If someone is kind then they are furry.
((("someone" "is" "kind" "+")) -> ("someone" "is" "furry" "+"))
Kind, furry people are smart.
((("someone" "is" "kind" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "smart" "+"))
Dave is furry.
True
1
proof
[(triple3)]
("Dave" "is" "furry" "+")
triple3
Erin is not kind.
False
1
inv-proof
[(triple7)]
("Erin" "is" "kind" "-")
triple7
Erin is furry.
True
2
proof
[(((triple7) -> rule1))]
("Erin" "is" "furry" "+")
((triple7) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is not furry.
False
2
inv-proof
[(((triple7) -> rule1))]
("Erin" "is" "furry" "-")
((triple7) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is smart.
True
4
proof
[(((triple7 ((triple7) -> rule1)) -> rule2))]
("Erin" "is" "smart" "+")
((triple7 ((triple7) -> (rule1 % int2))) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is not smart.
False
4
inv-proof
[(((triple7 ((triple7) -> rule1)) -> rule2))]
("Erin" "is" "smart" "-")
((triple7 ((triple7) -> (rule1 % int2))) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Anne is not furry.
Unknown
inv-rconc
[@1: Anne is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "furry" "-")
Dave is smart.
Unknown
rconc
[@1: Dave is smart.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "smart" "+")
Dave is not kind.
Unknown
inv-random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "-")
Anne is kind.
Unknown
random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "+")
Anne is not nice.
Unknown
inv-random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "-")
Erin is rough.
Unknown
random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "+")
@0: Anne is smart.[(triple1)] Anne is young.[(triple2)] Dave is furry.[(triple3)] Dave is nice.[(triple4)] Dave is round.[(triple5)] Dave is young.[(triple6)] Erin is kind.[(triple7)] Erin is nice.[(triple8)] Gary is furry.[(triple9 OR ((triple10) -> rule1))] Gary is kind.[(triple10)] Gary is nice.[(triple11)] Gary is not rough.[(triple12)] Gary is round.[(triple13)] Gary is smart.[(triple14 OR ((triple10 triple9) -> rule2) OR ((triple10 ((triple10) -> rule1)) -> rule2))] Gary is young.[(triple15)] @1: Erin is furry.[(((triple7) -> rule1))] @2: Erin is smart.[(((triple7 ((triple7) -> rule1)) -> rule2))]
Anne is smart.
("Anne" "is" "smart" "+")
triple1
Anne is young.
("Anne" "is" "young" "+")
triple2
Dave is furry.
("Dave" "is" "furry" "+")
triple3
Dave is nice.
("Dave" "is" "nice" "+")
triple4
Dave is round.
("Dave" "is" "round" "+")
triple5
Dave is young.
("Dave" "is" "young" "+")
triple6
Erin is kind.
("Erin" "is" "kind" "+")
triple7
Erin is nice.
("Erin" "is" "nice" "+")
triple8
Gary is furry.
("Gary" "is" "furry" "+")
triple9
((triple10) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
triple10
Gary is nice.
("Gary" "is" "nice" "+")
triple11
Gary is not rough.
("Gary" "is" "rough" "-")
triple12
Gary is round.
("Gary" "is" "round" "+")
triple13
Gary is smart.
("Gary" "is" "smart" "+")
triple14
((triple10 triple9) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
((triple10 ((triple10) -> (rule1 % int2))) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
triple15
Erin is furry.
("Erin" "is" "furry" "+")
((triple7) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
((triple7 ((triple7) -> (rule1 % int2))) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2