Dave is furry. Dave is smart. Dave is young. Erin is big. Erin is red. Gary is big. Gary is furry. Gary is green. Gary is red. Gary is rough. Gary is smart. Gary is young. Harry is rough. Harry is smart. Harry is young. If something is big and rough then it is smart.
Dave is furry.
("Dave" "is" "furry" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is red.
("Erin" "is" "red" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is young.
("Harry" "is" "young" "+")
If something is big and rough then it is smart.
((("something" "is" "big" "+") ("something" "is" "rough" "+")) -> ("something" "is" "smart" "+"))
Dave is furry.
True
1
proof
[(triple1)]
("Dave" "is" "furry" "+")
triple1
Gary is not big.
False
1
inv-proof
[(triple6)]
("Gary" "is" "big" "-")
triple6
Erin is not smart.
Unknown
inv-rconc
[@1: Erin is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "smart" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
@0: Dave is furry.[(triple1)] Dave is smart.[(triple2)] Dave is young.[(triple3)] Erin is big.[(triple4)] Erin is red.[(triple5)] Gary is big.[(triple6)] Gary is furry.[(triple7)] Gary is green.[(triple8)] Gary is red.[(triple9)] Gary is rough.[(triple10)] Gary is smart.[(triple11 OR ((triple6 triple10) -> rule1))] Gary is young.[(triple12)] Harry is rough.[(triple13)] Harry is smart.[(triple14)] Harry is young.[(triple15)]
Dave is furry.
("Dave" "is" "furry" "+")
triple1
Dave is smart.
("Dave" "is" "smart" "+")
triple2
Dave is young.
("Dave" "is" "young" "+")
triple3
Erin is big.
("Erin" "is" "big" "+")
triple4
Erin is red.
("Erin" "is" "red" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple6
Gary is furry.
("Gary" "is" "furry" "+")
triple7
Gary is green.
("Gary" "is" "green" "+")
triple8
Gary is red.
("Gary" "is" "red" "+")
triple9
Gary is rough.
("Gary" "is" "rough" "+")
triple10
Gary is smart.
("Gary" "is" "smart" "+")
triple11
((triple6 triple10) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
triple12
Harry is rough.
("Harry" "is" "rough" "+")
triple13
Harry is smart.
("Harry" "is" "smart" "+")
triple14
Harry is young.
("Harry" "is" "young" "+")
triple15