Charlie is cold. Charlie is kind. Charlie is smart. Charlie is white. Erin is kind. Fiona is rough. Harry is white. Quiet, rough things are blue. All kind things are rough. Cold things are quiet.
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Harry is white.
("Harry" "is" "white" "+")
Quiet, rough things are blue.
((("something" "is" "quiet" "+") ("something" "is" "rough" "+")) -> ("something" "is" "blue" "+"))
All kind things are rough.
((("something" "is" "kind" "+")) -> ("something" "is" "rough" "+"))
Cold things are quiet.
((("something" "is" "cold" "+")) -> ("something" "is" "quiet" "+"))
Charlie is kind.
True
1
proof
[(triple2)]
("Charlie" "is" "kind" "+")
triple2
Charlie is not white.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "white" "-")
triple4
Charlie is quiet.
True
2
proof
[(((triple1) -> rule3))]
("Charlie" "is" "quiet" "+")
((triple1) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is not rough.
False
2
inv-proof
[(((triple2) -> rule2))]
("Charlie" "is" "rough" "-")
((triple2) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is blue.
True
5
proof
[(((((triple1) -> rule3) ((triple2) -> rule2)) -> rule1))]
("Charlie" "is" "blue" "+")
((((triple1) -> (rule3 % int3)) ((triple2) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is not blue.
False
5
inv-proof
[(((((triple1) -> rule3) ((triple2) -> rule2)) -> rule1))]
("Charlie" "is" "blue" "-")
((((triple1) -> (rule3 % int3)) ((triple2) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Erin is not quiet.
Unknown
inv-rconc
[@1: Erin is quiet.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Erin" "is" "quiet" "-")
Fiona is blue.
Unknown
rconc
[@2: Fiona is blue.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Fiona" "is" "blue" "+")
Harry is not blue.
Unknown
inv-rconc
[@2: Harry is blue.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Harry" "is" "blue" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
Fiona is not cold.
Unknown
inv-random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
@0: Charlie is cold.[(triple1)] Charlie is kind.[(triple2)] Charlie is smart.[(triple3)] Charlie is white.[(triple4)] Erin is kind.[(triple5)] Fiona is rough.[(triple6)] Harry is white.[(triple7)] @1: Charlie is quiet.[(((triple1) -> rule3))] Charlie is rough.[(((triple2) -> rule2))] Erin is rough.[(((triple5) -> rule2))] @2: Charlie is blue.[(((((triple1) -> rule3) ((triple2) -> rule2)) -> rule1))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Charlie is smart.
("Charlie" "is" "smart" "+")
triple3
Charlie is white.
("Charlie" "is" "white" "+")
triple4
Erin is kind.
("Erin" "is" "kind" "+")
triple5
Fiona is rough.
("Fiona" "is" "rough" "+")
triple6
Harry is white.
("Harry" "is" "white" "+")
triple7
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((triple1) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple2) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
((triple5) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
((((triple1) -> (rule3 % int3)) ((triple2) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3