Charlie is quiet. Charlie is red. Charlie is smart. Erin is quiet. Erin is young. Fiona is blue. Fiona is cold. Fiona is young. Gary is blue. Gary is red. Gary is smart. Gary is young. If Erin is young and Erin is red then Erin is not nice. If Erin is quiet then Erin is not nice. All quiet things are smart. If something is quiet then it is smart. If Fiona is quiet then Fiona is not cold. Red, nice things are blue. If Erin is smart and Erin is not red then Erin is not cold. If something is nice and not blue then it is not cold.
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is young.
("Gary" "is" "young" "+")
If Erin is young and Erin is red then Erin is not nice.
((("Erin" "is" "young" "+") ("Erin" "is" "red" "+")) -> ("Erin" "is" "nice" "-"))
If Erin is quiet then Erin is not nice.
((("Erin" "is" "quiet" "+")) -> ("Erin" "is" "nice" "-"))
All quiet things are smart.
((("something" "is" "quiet" "+")) -> ("something" "is" "smart" "+"))
If something is quiet then it is smart.
((("something" "is" "quiet" "+")) -> ("something" "is" "smart" "+"))
If Fiona is quiet then Fiona is not cold.
((("Fiona" "is" "quiet" "+")) -> ("Fiona" "is" "cold" "-"))
Red, nice things are blue.
((("something" "is" "red" "+") ("something" "is" "nice" "+")) -> ("something" "is" "blue" "+"))
If Erin is smart and Erin is not red then Erin is not cold.
((("Erin" "is" "smart" "+") ("Erin" "is" "red" "~")) -> ("Erin" "is" "cold" "-"))
If something is nice and not blue then it is not cold.
((("something" "is" "nice" "+") ("something" "is" "blue" "~")) -> ("something" "is" "cold" "-"))
Gary is young.
True
1
proof
[(triple12)]
("Gary" "is" "young" "+")
triple12
Charlie is not smart.
False
1
inv-proof
[(triple3 OR ((triple1) -> rule3) OR ((triple1) -> rule4))]
("Charlie" "is" "smart" "-")
triple3
((triple1) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
((triple1) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Erin is not nice.
True
2
proof
[(((triple4) -> rule2))]
("Erin" "is" "nice" "-")
((triple4) -> (rule2 % int1))
Erin is not nice.
("Erin" "is" "nice" "-")
int1
Erin is nice.
False
2
inv-proof
[(((triple4) -> rule2))]
("Erin" "is" "nice" "+")
((triple4) -> (rule2 % int1))
Erin is not nice.
("Erin" "is" "nice" "-")
int1
Charlie is not blue.
Unknown
inv-rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "blue" "-")
Fiona is smart.
Unknown
rconc
[@1: Fiona is smart.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "smart" "+")
Fiona is not red.
Unknown
inv-random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "-")
Erin is cold.
Unknown
random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "+")
@0: Charlie is quiet.[(triple1)] Charlie is red.[(triple2)] Charlie is smart.[(triple3 OR ((triple1) -> rule3) OR ((triple1) -> rule4))] Erin is quiet.[(triple4)] Erin is young.[(triple5)] Fiona is blue.[(triple6)] Fiona is cold.[(triple7)] Fiona is young.[(triple8)] Gary is blue.[(triple9)] Gary is red.[(triple10)] Gary is smart.[(triple11)] Gary is young.[(triple12)] @1: Erin is not nice.[(((triple4) -> rule2))] Erin is smart.[(((triple4) -> rule3) OR ((triple4) -> rule4))]
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple1
Charlie is red.
("Charlie" "is" "red" "+")
triple2
Charlie is smart.
("Charlie" "is" "smart" "+")
triple3
((triple1) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
((triple1) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
triple4
Erin is young.
("Erin" "is" "young" "+")
triple5
Fiona is blue.
("Fiona" "is" "blue" "+")
triple6
Fiona is cold.
("Fiona" "is" "cold" "+")
triple7
Fiona is young.
("Fiona" "is" "young" "+")
triple8
Gary is blue.
("Gary" "is" "blue" "+")
triple9
Gary is red.
("Gary" "is" "red" "+")
triple10
Gary is smart.
("Gary" "is" "smart" "+")
triple11
Gary is young.
("Gary" "is" "young" "+")
triple12
Erin is not nice.
("Erin" "is" "nice" "-")
((triple4) -> (rule2 % int1))
Erin is not nice.
("Erin" "is" "nice" "-")
int1
Erin is smart.
("Erin" "is" "smart" "+")
((triple4) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
((triple4) -> (rule4 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1