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