Bob is big. Bob is blue. Bob is green. Bob is kind. Bob is rough. Bob is not round. Bob is young. Charlie is blue. Charlie is green. Charlie is not rough. Harry is big. Harry is blue. Harry is kind. Harry is not rough. Harry is round. Harry is young. All rough, big things are green. If Charlie is green and Charlie is rough then Charlie is blue.
Bob is big.
("Bob" "is" "big" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is not round.
("Bob" "is" "round" "-")
Bob is young.
("Bob" "is" "young" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is not rough.
("Charlie" "is" "rough" "-")
Harry is big.
("Harry" "is" "big" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is not rough.
("Harry" "is" "rough" "-")
Harry is round.
("Harry" "is" "round" "+")
Harry is young.
("Harry" "is" "young" "+")
All rough, big things are green.
((("something" "is" "rough" "+") ("something" "is" "big" "+")) -> ("something" "is" "green" "+"))
If Charlie is green and Charlie is rough then Charlie is blue.
((("Charlie" "is" "green" "+") ("Charlie" "is" "rough" "+")) -> ("Charlie" "is" "blue" "+"))
Bob is young.
True
1
proof
[(triple7)]
("Bob" "is" "young" "+")
triple7
Charlie is not blue.
False
1
inv-proof
[(triple8)]
("Charlie" "is" "blue" "-")
triple8
Harry is not green.
Unknown
inv-rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "green" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is green.[(triple3 OR ((triple5 triple1) -> rule1))] Bob is kind.[(triple4)] Bob is not round.[(triple6)] Bob is rough.[(triple5)] Bob is young.[(triple7)] Charlie is blue.[(triple8)] Charlie is green.[(triple9)] Charlie is not rough.[(triple10)] Harry is big.[(triple11)] Harry is blue.[(triple12)] Harry is kind.[(triple13)] Harry is not rough.[(triple14)] Harry is round.[(triple15)] Harry is young.[(triple16)]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is green.
("Bob" "is" "green" "+")
triple3
((triple5 triple1) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
triple4
Bob is not round.
("Bob" "is" "round" "-")
triple6
Bob is rough.
("Bob" "is" "rough" "+")
triple5
Bob is young.
("Bob" "is" "young" "+")
triple7
Charlie is blue.
("Charlie" "is" "blue" "+")
triple8
Charlie is green.
("Charlie" "is" "green" "+")
triple9
Charlie is not rough.
("Charlie" "is" "rough" "-")
triple10
Harry is big.
("Harry" "is" "big" "+")
triple11
Harry is blue.
("Harry" "is" "blue" "+")
triple12
Harry is kind.
("Harry" "is" "kind" "+")
triple13
Harry is not rough.
("Harry" "is" "rough" "-")
triple14
Harry is round.
("Harry" "is" "round" "+")
triple15
Harry is young.
("Harry" "is" "young" "+")
triple16