Fiona is kind. Fiona is red. Fiona is rough. Fiona is white. Fiona is young. Gary is green. Gary is kind. Gary is red. Gary is white. Gary is young. All kind things are nice.
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
All kind things are nice.
((("something" "is" "kind" "+")) -> ("something" "is" "nice" "+"))
Fiona is young.
True
1
proof
[(triple5)]
("Fiona" "is" "young" "+")
triple5
Gary is not white.
False
1
inv-proof
[(triple9)]
("Gary" "is" "white" "-")
triple9
Fiona is nice.
True
2
proof
[(((triple1) -> rule1))]
("Fiona" "is" "nice" "+")
((triple1) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Gary is not nice.
False
2
inv-proof
[(((triple7) -> rule1))]
("Gary" "is" "nice" "-")
((triple7) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Fiona is not green.
Unknown
inv-random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
@0: Fiona is kind.[(triple1)] Fiona is red.[(triple2)] Fiona is rough.[(triple3)] Fiona is white.[(triple4)] Fiona is young.[(triple5)] Gary is green.[(triple6)] Gary is kind.[(triple7)] Gary is red.[(triple8)] Gary is white.[(triple9)] Gary is young.[(triple10)] @1: Fiona is nice.[(((triple1) -> rule1))] Gary is nice.[(((triple7) -> rule1))]
Fiona is kind.
("Fiona" "is" "kind" "+")
triple1
Fiona is red.
("Fiona" "is" "red" "+")
triple2
Fiona is rough.
("Fiona" "is" "rough" "+")
triple3
Fiona is white.
("Fiona" "is" "white" "+")
triple4
Fiona is young.
("Fiona" "is" "young" "+")
triple5
Gary is green.
("Gary" "is" "green" "+")
triple6
Gary is kind.
("Gary" "is" "kind" "+")
triple7
Gary is red.
("Gary" "is" "red" "+")
triple8
Gary is white.
("Gary" "is" "white" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple10
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple1) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple7) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1