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