Anne is blue. Anne is nice. Anne is young. Bob is blue. Bob is furry. Bob is nice. Bob is round. Bob is young. Fiona is kind. Gary is blue. Gary is furry. Gary is green. If something is young and green then it is nice. All green, blue things are young.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is young.
("Bob" "is" "young" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
If something is young and green then it is nice.
((("something" "is" "young" "+") ("something" "is" "green" "+")) -> ("something" "is" "nice" "+"))
All green, blue things are young.
((("something" "is" "green" "+") ("something" "is" "blue" "+")) -> ("something" "is" "young" "+"))
Bob is young.
True
1
proof
[(triple8)]
("Bob" "is" "young" "+")
triple8
Anne is not nice.
False
1
inv-proof
[(triple2)]
("Anne" "is" "nice" "-")
triple2
Gary is young.
True
3
proof
[(((triple12 triple10) -> rule2))]
("Gary" "is" "young" "+")
((triple12 triple10) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is not young.
False
3
inv-proof
[(((triple12 triple10) -> rule2))]
("Gary" "is" "young" "-")
((triple12 triple10) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is nice.
True
5
proof
[(((((triple12 triple10) -> rule2) triple12) -> rule1))]
("Gary" "is" "nice" "+")
((((triple12 triple10) -> (rule2 % int2)) triple12) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is not nice.
False
5
inv-proof
[(((((triple12 triple10) -> rule2) triple12) -> rule1))]
("Gary" "is" "nice" "-")
((((triple12 triple10) -> (rule2 % int2)) triple12) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Fiona is not nice.
Unknown
inv-rconc
[@1: Fiona is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "nice" "-")
Fiona is young.
Unknown
rconc
[@1: Fiona is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "young" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Anne is kind.
Unknown
random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "+")
Anne is not green.
Unknown
inv-random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
@0: Anne is blue.[(triple1)] Anne is nice.[(triple2)] Anne is young.[(triple3)] Bob is blue.[(triple4)] Bob is furry.[(triple5)] Bob is nice.[(triple6)] Bob is round.[(triple7)] Bob is young.[(triple8)] Fiona is kind.[(triple9)] Gary is blue.[(triple10)] Gary is furry.[(triple11)] Gary is green.[(triple12)] @1: Gary is young.[(((triple12 triple10) -> rule2))] @2: Gary is nice.[(((((triple12 triple10) -> rule2) triple12) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is young.
("Anne" "is" "young" "+")
triple3
Bob is blue.
("Bob" "is" "blue" "+")
triple4
Bob is furry.
("Bob" "is" "furry" "+")
triple5
Bob is nice.
("Bob" "is" "nice" "+")
triple6
Bob is round.
("Bob" "is" "round" "+")
triple7
Bob is young.
("Bob" "is" "young" "+")
triple8
Fiona is kind.
("Fiona" "is" "kind" "+")
triple9
Gary is blue.
("Gary" "is" "blue" "+")
triple10
Gary is furry.
("Gary" "is" "furry" "+")
triple11
Gary is green.
("Gary" "is" "green" "+")
triple12
Gary is young.
("Gary" "is" "young" "+")
((triple12 triple10) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((((triple12 triple10) -> (rule2 % int2)) triple12) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2