Dave is furry. Dave is round. Dave is young. Erin is cold. Erin is kind. Erin is round. Gary is cold. Harry is cold. Harry is kind. Harry is round. Harry is smart. Harry is young. If someone is round and young then they are furry.
Dave is furry.
("Dave" "is" "furry" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is round.
("Erin" "is" "round" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is young.
("Harry" "is" "young" "+")
If someone is round and young then they are furry.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "furry" "+"))
Erin is round.
True
1
proof
[(triple6)]
("Erin" "is" "round" "+")
triple6
Harry is not young.
False
1
inv-proof
[(triple12)]
("Harry" "is" "young" "-")
triple12
Harry is furry.
True
3
proof
[(((triple10 triple12) -> rule1))]
("Harry" "is" "furry" "+")
((triple10 triple12) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is not furry.
False
3
inv-proof
[(((triple10 triple12) -> rule1))]
("Harry" "is" "furry" "-")
((triple10 triple12) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Erin is not furry.
Unknown
inv-rconc
[@1: Erin is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "furry" "-")
Gary is furry.
Unknown
rconc
[@1: Gary is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "furry" "+")
Dave is not kind.
Unknown
inv-random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "-")
Dave is smart.
Unknown
random
[@0: Dave is smart.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "smart" "+")
@0: Dave is furry.[(triple1 OR ((triple2 triple3) -> rule1))] Dave is round.[(triple2)] Dave is young.[(triple3)] Erin is cold.[(triple4)] Erin is kind.[(triple5)] Erin is round.[(triple6)] Gary is cold.[(triple7)] Harry is cold.[(triple8)] Harry is kind.[(triple9)] Harry is round.[(triple10)] Harry is smart.[(triple11)] Harry is young.[(triple12)] @1: Harry is furry.[(((triple10 triple12) -> rule1))]
Dave is furry.
("Dave" "is" "furry" "+")
triple1
((triple2 triple3) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
triple2
Dave is young.
("Dave" "is" "young" "+")
triple3
Erin is cold.
("Erin" "is" "cold" "+")
triple4
Erin is kind.
("Erin" "is" "kind" "+")
triple5
Erin is round.
("Erin" "is" "round" "+")
triple6
Gary is cold.
("Gary" "is" "cold" "+")
triple7
Harry is cold.
("Harry" "is" "cold" "+")
triple8
Harry is kind.
("Harry" "is" "kind" "+")
triple9
Harry is round.
("Harry" "is" "round" "+")
triple10
Harry is smart.
("Harry" "is" "smart" "+")
triple11
Harry is young.
("Harry" "is" "young" "+")
triple12
Harry is furry.
("Harry" "is" "furry" "+")
((triple10 triple12) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1