Bob is nice. Bob is red. Bob is young. Charlie is furry. Fiona is not smart. Gary is furry. Gary is nice. If Charlie is kind and Charlie is not smart then Charlie is young. If Fiona is not smart then Fiona is not young.
Bob is nice.
("Bob" "is" "nice" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Fiona is not smart.
("Fiona" "is" "smart" "-")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is nice.
("Gary" "is" "nice" "+")
If Charlie is kind and Charlie is not smart then Charlie is young.
((("Charlie" "is" "kind" "+") ("Charlie" "is" "smart" "~")) -> ("Charlie" "is" "young" "+"))
If Fiona is not smart then Fiona is not young.
((("Fiona" "is" "smart" "~")) -> ("Fiona" "is" "young" "-"))
Charlie is furry.
True
1
proof
[(triple4)]
("Charlie" "is" "furry" "+")
triple4
Bob is not young.
False
1
inv-proof
[(triple3)]
("Bob" "is" "young" "-")
triple3
Charlie is not young.
Unknown
inv-rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "young" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
@0: Bob is nice.[(triple1)] Bob is red.[(triple2)] Bob is young.[(triple3)] Charlie is furry.[(triple4)] Fiona is not smart.[(triple5)] Gary is furry.[(triple6)] Gary is nice.[(triple7)] @1: Fiona is not young.[(((triple5) -> rule2))]
Bob is nice.
("Bob" "is" "nice" "+")
triple1
Bob is red.
("Bob" "is" "red" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple3
Charlie is furry.
("Charlie" "is" "furry" "+")
triple4
Fiona is not smart.
("Fiona" "is" "smart" "-")
triple5
Gary is furry.
("Gary" "is" "furry" "+")
triple6
Gary is nice.
("Gary" "is" "nice" "+")
triple7
Fiona is not young.
("Fiona" "is" "young" "-")
((triple5) -> (rule2 % int1))
Fiona is not young.
("Fiona" "is" "young" "-")
int1