Bob is green. Charlie is cold. Charlie is round. Charlie is young. Erin is nice. Gary is kind. Gary is young. All green things are young.
Bob is green.
("Bob" "is" "green" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is young.
("Gary" "is" "young" "+")
All green things are young.
((("something" "is" "green" "+")) -> ("something" "is" "young" "+"))
Charlie is cold.
True
1
proof
[(triple2)]
("Charlie" "is" "cold" "+")
triple2
Gary is not kind.
False
1
inv-proof
[(triple6)]
("Gary" "is" "kind" "-")
triple6
Erin is not young.
Unknown
inv-rconc
[@1: Erin is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "young" "-")
Erin is cold.
Unknown
random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "+")
@0: Bob is green.[(triple1)] Charlie is cold.[(triple2)] Charlie is round.[(triple3)] Charlie is young.[(triple4)] Erin is nice.[(triple5)] Gary is kind.[(triple6)] Gary is young.[(triple7)] @1: Bob is young.[(((triple1) -> rule1))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple2
Charlie is round.
("Charlie" "is" "round" "+")
triple3
Charlie is young.
("Charlie" "is" "young" "+")
triple4
Erin is nice.
("Erin" "is" "nice" "+")
triple5
Gary is kind.
("Gary" "is" "kind" "+")
triple6
Gary is young.
("Gary" "is" "young" "+")
triple7
Bob is young.
("Bob" "is" "young" "+")
((triple1) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1