Bob is furry. Bob is kind. Bob is smart. Bob is not young. Erin is blue. Erin is kind. Erin is red. Erin is round. Erin is smart. Gary is not red. Gary is round. Gary is not smart. Harry is blue. Harry is furry. Harry is round. Harry is smart. Blue people are furry.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is not young.
("Bob" "is" "young" "-")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Gary is not red.
("Gary" "is" "red" "-")
Gary is round.
("Gary" "is" "round" "+")
Gary is not smart.
("Gary" "is" "smart" "-")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Blue people are furry.
((("someone" "is" "blue" "+")) -> ("someone" "is" "furry" "+"))
Erin is round.
True
1
proof
[(triple8)]
("Erin" "is" "round" "+")
triple8
Bob is not kind.
False
1
inv-proof
[(triple2)]
("Bob" "is" "kind" "-")
triple2
Erin is furry.
True
2
proof
[(((triple5) -> rule1))]
("Erin" "is" "furry" "+")
((triple5) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is not furry.
False
2
inv-proof
[(((triple5) -> rule1))]
("Erin" "is" "furry" "-")
((triple5) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Gary is not furry.
Unknown
inv-rconc
[@1: Gary is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "furry" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
Bob is not blue.
Unknown
inv-random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
@0: Bob is furry.[(triple1)] Bob is kind.[(triple2)] Bob is not young.[(triple4)] Bob is smart.[(triple3)] Erin is blue.[(triple5)] Erin is kind.[(triple6)] Erin is red.[(triple7)] Erin is round.[(triple8)] Erin is smart.[(triple9)] Gary is not red.[(triple10)] Gary is not smart.[(triple12)] Gary is round.[(triple11)] Harry is blue.[(triple13)] Harry is furry.[(triple14 OR ((triple13) -> rule1))] Harry is round.[(triple15)] Harry is smart.[(triple16)] @1: Erin is furry.[(((triple5) -> rule1))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is not young.
("Bob" "is" "young" "-")
triple4
Bob is smart.
("Bob" "is" "smart" "+")
triple3
Erin is blue.
("Erin" "is" "blue" "+")
triple5
Erin is kind.
("Erin" "is" "kind" "+")
triple6
Erin is red.
("Erin" "is" "red" "+")
triple7
Erin is round.
("Erin" "is" "round" "+")
triple8
Erin is smart.
("Erin" "is" "smart" "+")
triple9
Gary is not red.
("Gary" "is" "red" "-")
triple10
Gary is not smart.
("Gary" "is" "smart" "-")
triple12
Gary is round.
("Gary" "is" "round" "+")
triple11
Harry is blue.
("Harry" "is" "blue" "+")
triple13
Harry is furry.
("Harry" "is" "furry" "+")
triple14
((triple13) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
triple15
Harry is smart.
("Harry" "is" "smart" "+")
triple16
Erin is furry.
("Erin" "is" "furry" "+")
((triple5) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1