Charlie is green. Charlie is smart. Charlie is not white. Erin is big. Erin is cold. Erin is red. Erin is smart. Fiona is cold. Fiona is green. Fiona is nice. Gary is not big. Gary is smart. If Charlie is not big then Charlie is cold. All red people are nice.
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is not white.
("Charlie" "is" "white" "-")
Erin is big.
("Erin" "is" "big" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Gary is not big.
("Gary" "is" "big" "-")
Gary is smart.
("Gary" "is" "smart" "+")
If Charlie is not big then Charlie is cold.
((("Charlie" "is" "big" "~")) -> ("Charlie" "is" "cold" "+"))
All red people are nice.
((("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
Charlie is green.
True
1
proof
[(triple1)]
("Charlie" "is" "green" "+")
triple1
Charlie is not smart.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "smart" "-")
triple2
Erin is nice.
True
2
proof
[(((triple6) -> rule2))]
("Erin" "is" "nice" "+")
((triple6) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is not nice.
False
2
inv-proof
[(((triple6) -> rule2))]
("Erin" "is" "nice" "-")
((triple6) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Charlie is not cold.
Unknown
inv-rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "cold" "-")
Gary is nice.
Unknown
rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "nice" "+")
Fiona is not white.
Unknown
inv-random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
@0: Charlie is green.[(triple1)] Charlie is not white.[(triple3)] Charlie is smart.[(triple2)] Erin is big.[(triple4)] Erin is cold.[(triple5)] Erin is red.[(triple6)] Erin is smart.[(triple7)] Fiona is cold.[(triple8)] Fiona is green.[(triple9)] Fiona is nice.[(triple10)] Gary is not big.[(triple11)] Gary is smart.[(triple12)] @1: Erin is nice.[(((triple6) -> rule2))]
Charlie is green.
("Charlie" "is" "green" "+")
triple1
Charlie is not white.
("Charlie" "is" "white" "-")
triple3
Charlie is smart.
("Charlie" "is" "smart" "+")
triple2
Erin is big.
("Erin" "is" "big" "+")
triple4
Erin is cold.
("Erin" "is" "cold" "+")
triple5
Erin is red.
("Erin" "is" "red" "+")
triple6
Erin is smart.
("Erin" "is" "smart" "+")
triple7
Fiona is cold.
("Fiona" "is" "cold" "+")
triple8
Fiona is green.
("Fiona" "is" "green" "+")
triple9
Fiona is nice.
("Fiona" "is" "nice" "+")
triple10
Gary is not big.
("Gary" "is" "big" "-")
triple11
Gary is smart.
("Gary" "is" "smart" "+")
triple12
Erin is nice.
("Erin" "is" "nice" "+")
((triple6) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1