Bob is big. Bob is furry. Bob is white. Fiona is young. Gary is big. Gary is nice. Gary is rough. Gary is young. Harry is big. Harry is rough. All big, young things are rough. If Bob is quiet then Bob is young.
Bob is big.
("Bob" "is" "big" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is white.
("Bob" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is rough.
("Harry" "is" "rough" "+")
All big, young things are rough.
((("something" "is" "big" "+") ("something" "is" "young" "+")) -> ("something" "is" "rough" "+"))
If Bob is quiet then Bob is young.
((("Bob" "is" "quiet" "+")) -> ("Bob" "is" "young" "+"))
Harry is big.
True
1
proof
[(triple9)]
("Harry" "is" "big" "+")
triple9
Bob is not white.
False
1
inv-proof
[(triple3)]
("Bob" "is" "white" "-")
triple3
Fiona is not rough.
Unknown
inv-rconc
[@1: Fiona is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "rough" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
@0: Bob is big.[(triple1)] Bob is furry.[(triple2)] Bob is white.[(triple3)] Fiona is young.[(triple4)] Gary is big.[(triple5)] Gary is nice.[(triple6)] Gary is rough.[(triple7 OR ((triple5 triple8) -> rule1))] Gary is young.[(triple8)] Harry is big.[(triple9)] Harry is rough.[(triple10)]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is white.
("Bob" "is" "white" "+")
triple3
Fiona is young.
("Fiona" "is" "young" "+")
triple4
Gary is big.
("Gary" "is" "big" "+")
triple5
Gary is nice.
("Gary" "is" "nice" "+")
triple6
Gary is rough.
("Gary" "is" "rough" "+")
triple7
((triple5 triple8) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
triple8
Harry is big.
("Harry" "is" "big" "+")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple10