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