Bob is big. Bob is blue. Bob is nice. Bob is quiet. Bob is smart. Dave is furry. Dave is quiet. Dave is red. Gary is blue. Gary is nice. Gary is red. Gary is smart. Nice things are big. Big, blue things are furry.
Bob is big.
("Bob" "is" "big" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is red.
("Dave" "is" "red" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Nice things are big.
((("something" "is" "nice" "+")) -> ("something" "is" "big" "+"))
Big, blue things are furry.
((("something" "is" "big" "+") ("something" "is" "blue" "+")) -> ("something" "is" "furry" "+"))
Dave is furry.
True
1
proof
[(triple6)]
("Dave" "is" "furry" "+")
triple6
Bob is not big.
False
1
inv-proof
[(triple1 OR ((triple3) -> rule1))]
("Bob" "is" "big" "-")
triple1
((triple3) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is furry.
True
3
proof
[(((triple1 triple2) -> rule2) OR ((((triple3) -> rule1) triple2) -> rule2))]
("Bob" "is" "furry" "+")
((triple1 triple2) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((((triple3) -> (rule1 % int2)) triple2) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Gary is not big.
False
2
inv-proof
[(((triple10) -> rule1))]
("Gary" "is" "big" "-")
((triple10) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is furry.
True
4
proof
[(((((triple10) -> rule1) triple9) -> rule2))]
("Gary" "is" "furry" "+")
((((triple10) -> (rule1 % int2)) triple9) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is not furry.
False
4
inv-proof
[(((((triple10) -> rule1) triple9) -> rule2))]
("Gary" "is" "furry" "-")
((((triple10) -> (rule1 % int2)) triple9) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Dave is not big.
Unknown
inv-rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "big" "-")
Dave is smart.
Unknown
random
[@0: Dave is smart.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "smart" "+")
Gary is not quiet.
Unknown
inv-random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
Dave is not blue.
Unknown
inv-random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
@0: Bob is big.[(triple1 OR ((triple3) -> rule1))] Bob is blue.[(triple2)] Bob is nice.[(triple3)] Bob is quiet.[(triple4)] Bob is smart.[(triple5)] Dave is furry.[(triple6)] Dave is quiet.[(triple7)] Dave is red.[(triple8)] Gary is blue.[(triple9)] Gary is nice.[(triple10)] Gary is red.[(triple11)] Gary is smart.[(triple12)] @1: Bob is furry.[(((triple1 triple2) -> rule2) OR ((((triple3) -> rule1) triple2) -> rule2))] Gary is big.[(((triple10) -> rule1))] @2: Gary is furry.[(((((triple10) -> rule1) triple9) -> rule2))]
Bob is big.
("Bob" "is" "big" "+")
triple1
((triple3) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is quiet.
("Bob" "is" "quiet" "+")
triple4
Bob is smart.
("Bob" "is" "smart" "+")
triple5
Dave is furry.
("Dave" "is" "furry" "+")
triple6
Dave is quiet.
("Dave" "is" "quiet" "+")
triple7
Dave is red.
("Dave" "is" "red" "+")
triple8
Gary is blue.
("Gary" "is" "blue" "+")
triple9
Gary is nice.
("Gary" "is" "nice" "+")
triple10
Gary is red.
("Gary" "is" "red" "+")
triple11
Gary is smart.
("Gary" "is" "smart" "+")
triple12
Bob is furry.
("Bob" "is" "furry" "+")
((triple1 triple2) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((((triple3) -> (rule1 % int2)) triple2) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
((triple10) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
((((triple10) -> (rule1 % int2)) triple9) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2