Fiona is nice. Fiona is young. Gary is blue. Gary is cold. Gary is kind. Gary is nice. Gary is young. If something is young then it is kind.
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is young.
("Gary" "is" "young" "+")
If something is young then it is kind.
((("something" "is" "young" "+")) -> ("something" "is" "kind" "+"))
Fiona is nice.
True
1
proof
[(triple1)]
("Fiona" "is" "nice" "+")
triple1
Gary is not blue.
False
1
inv-proof
[(triple3)]
("Gary" "is" "blue" "-")
triple3
Fiona is kind.
True
2
proof
[(((triple2) -> rule1))]
("Fiona" "is" "kind" "+")
((triple2) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is not kind.
False
2
inv-proof
[(((triple2) -> rule1))]
("Fiona" "is" "kind" "-")
((triple2) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
Gary is not furry.
Unknown
inv-random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "-")
Fiona is green.
Unknown
random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "+")
@0: Fiona is nice.[(triple1)] Fiona is young.[(triple2)] Gary is blue.[(triple3)] Gary is cold.[(triple4)] Gary is kind.[(triple5 OR ((triple7) -> rule1))] Gary is nice.[(triple6)] Gary is young.[(triple7)] @1: Fiona is kind.[(((triple2) -> rule1))]
Fiona is nice.
("Fiona" "is" "nice" "+")
triple1
Fiona is young.
("Fiona" "is" "young" "+")
triple2
Gary is blue.
("Gary" "is" "blue" "+")
triple3
Gary is cold.
("Gary" "is" "cold" "+")
triple4
Gary is kind.
("Gary" "is" "kind" "+")
triple5
((triple7) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
triple6
Gary is young.
("Gary" "is" "young" "+")
triple7
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple2) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1