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