Bob is young. Charlie is quiet. Fiona is rough. Gary is rough. Big, green things are young. If something is rough then it is green. If something is furry then it is quiet.
Bob is young.
("Bob" "is" "young" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Big, green things are young.
((("something" "is" "big" "+") ("something" "is" "green" "+")) -> ("something" "is" "young" "+"))
If something is rough then it is green.
((("something" "is" "rough" "+")) -> ("something" "is" "green" "+"))
If something is furry then it is quiet.
((("something" "is" "furry" "+")) -> ("something" "is" "quiet" "+"))
Gary is rough.
True
1
proof
[(triple4)]
("Gary" "is" "rough" "+")
triple4
Fiona is not rough.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "rough" "-")
triple3
Fiona is green.
True
2
proof
[(((triple3) -> rule2))]
("Fiona" "is" "green" "+")
((triple3) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Gary is not green.
False
2
inv-proof
[(((triple4) -> rule2))]
("Gary" "is" "green" "-")
((triple4) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Bob is not quiet.
Unknown
inv-rconc
[@1: Bob is quiet.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "quiet" "-")
Charlie is young.
Unknown
rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "young" "+")
Fiona is not furry.
Unknown
inv-random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
@0: Bob is young.[(triple1)] Charlie is quiet.[(triple2)] Fiona is rough.[(triple3)] Gary is rough.[(triple4)] @1: Fiona is green.[(((triple3) -> rule2))] Gary is green.[(((triple4) -> rule2))]
Bob is young.
("Bob" "is" "young" "+")
triple1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple2
Fiona is rough.
("Fiona" "is" "rough" "+")
triple3
Gary is rough.
("Gary" "is" "rough" "+")
triple4
Fiona is green.
("Fiona" "is" "green" "+")
((triple3) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((triple4) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1