Bob is nice. Bob is red. Bob is rough. Bob is smart. Bob is young. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is young. Gary is green. Gary is nice. Gary is quiet. Gary is red. Gary is rough. Gary is smart. Harry is nice. If someone is young then they are rough.
Bob is nice.
("Bob" "is" "nice" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Harry is nice.
("Harry" "is" "nice" "+")
If someone is young then they are rough.
((("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
Charlie is quiet.
True
1
proof
[(triple8)]
("Charlie" "is" "quiet" "+")
triple8
Bob is not smart.
False
1
inv-proof
[(triple4)]
("Bob" "is" "smart" "-")
triple4
Harry is not rough.
Unknown
inv-rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "rough" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
@0: Bob is nice.[(triple1)] Bob is red.[(triple2)] Bob is rough.[(triple3 OR ((triple5) -> rule1))] Bob is smart.[(triple4)] Bob is young.[(triple5)] Charlie is green.[(triple6)] Charlie is nice.[(triple7)] Charlie is quiet.[(triple8)] Charlie is young.[(triple9)] Gary is green.[(triple10)] Gary is nice.[(triple11)] Gary is quiet.[(triple12)] Gary is red.[(triple13)] Gary is rough.[(triple14)] Gary is smart.[(triple15)] Harry is nice.[(triple16)] @1: Charlie is rough.[(((triple9) -> rule1))]
Bob is nice.
("Bob" "is" "nice" "+")
triple1
Bob is red.
("Bob" "is" "red" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple3
((triple5) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
triple4
Bob is young.
("Bob" "is" "young" "+")
triple5
Charlie is green.
("Charlie" "is" "green" "+")
triple6
Charlie is nice.
("Charlie" "is" "nice" "+")
triple7
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple8
Charlie is young.
("Charlie" "is" "young" "+")
triple9
Gary is green.
("Gary" "is" "green" "+")
triple10
Gary is nice.
("Gary" "is" "nice" "+")
triple11
Gary is quiet.
("Gary" "is" "quiet" "+")
triple12
Gary is red.
("Gary" "is" "red" "+")
triple13
Gary is rough.
("Gary" "is" "rough" "+")
triple14
Gary is smart.
("Gary" "is" "smart" "+")
triple15
Harry is nice.
("Harry" "is" "nice" "+")
triple16
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple9) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1