Anne is young. Bob is rough. Fiona is blue. Gary is blue. If something is smart and cold then it is nice. If something is rough and kind then it is blue. If something is rough then it is kind. All kind things are blue. If something is nice and kind then it is young. All rough, nice things are young.
Anne is young.
("Anne" "is" "young" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If something is smart and cold then it is nice.
((("something" "is" "smart" "+") ("something" "is" "cold" "+")) -> ("something" "is" "nice" "+"))
If something is rough and kind then it is blue.
((("something" "is" "rough" "+") ("something" "is" "kind" "+")) -> ("something" "is" "blue" "+"))
If something is rough then it is kind.
((("something" "is" "rough" "+")) -> ("something" "is" "kind" "+"))
All kind things are blue.
((("something" "is" "kind" "+")) -> ("something" "is" "blue" "+"))
If something is nice and kind then it is young.
((("something" "is" "nice" "+") ("something" "is" "kind" "+")) -> ("something" "is" "young" "+"))
All rough, nice things are young.
((("something" "is" "rough" "+") ("something" "is" "nice" "+")) -> ("something" "is" "young" "+"))
Gary is blue.
True
1
proof
[(triple4)]
("Gary" "is" "blue" "+")
triple4
Bob is not rough.
False
1
inv-proof
[(triple2)]
("Bob" "is" "rough" "-")
triple2
Gary is not young.
Unknown
inv-rconc
[@2: Gary is young.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Gary" "is" "young" "-")
Anne is cold.
Unknown
random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "+")
@0: Anne is young.[(triple1)] Bob is rough.[(triple2)] Fiona is blue.[(triple3)] Gary is blue.[(triple4)] @1: Bob is kind.[(((triple2) -> rule3))] @2: Bob is blue.[(((((triple2) -> rule3)) -> rule4) OR ((triple2 ((triple2) -> rule3)) -> rule2))]
Anne is young.
("Anne" "is" "young" "+")
triple1
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Fiona is blue.
("Fiona" "is" "blue" "+")
triple3
Gary is blue.
("Gary" "is" "blue" "+")
triple4
Bob is kind.
("Bob" "is" "kind" "+")
((triple2) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
((((triple2) -> (rule3 % int2))) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((triple2 ((triple2) -> (rule3 % int2))) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2