Charlie is green. Charlie is quiet. Charlie is rough. Charlie is white. Erin is cold. Erin is green. Erin is kind. Erin is quiet. Erin is rough. Erin is smart. Erin is white. Harry is green. Harry is rough. Harry is smart. Harry is white. All white people are rough. All quiet, green people are cold. White, kind people are rough.
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is white.
("Harry" "is" "white" "+")
All white people are rough.
((("someone" "is" "white" "+")) -> ("someone" "is" "rough" "+"))
All quiet, green people are cold.
((("someone" "is" "quiet" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
White, kind people are rough.
((("someone" "is" "white" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
Erin is green.
True
1
proof
[(triple6)]
("Erin" "is" "green" "+")
triple6
Erin is not white.
False
1
inv-proof
[(triple11)]
("Erin" "is" "white" "-")
triple11
Charlie is cold.
True
3
proof
[(((triple2 triple1) -> rule2))]
("Charlie" "is" "cold" "+")
((triple2 triple1) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is not cold.
False
3
inv-proof
[(((triple2 triple1) -> rule2))]
("Charlie" "is" "cold" "-")
((triple2 triple1) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Harry is not cold.
Unknown
inv-rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "cold" "-")
Charlie is smart.
Unknown
random
[@0: Charlie is smart.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "smart" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Harry is quiet.
Unknown
random
[@0: Harry is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "quiet" "+")
@0: Charlie is green.[(triple1)] Charlie is quiet.[(triple2)] Charlie is rough.[(triple3 OR ((triple4) -> rule1))] Charlie is white.[(triple4)] Erin is cold.[(triple5 OR ((triple8 triple6) -> rule2))] Erin is green.[(triple6)] Erin is kind.[(triple7)] Erin is quiet.[(triple8)] Erin is rough.[(triple9 OR ((triple11) -> rule1) OR ((triple11 triple7) -> rule3))] Erin is smart.[(triple10)] Erin is white.[(triple11)] Harry is green.[(triple12)] Harry is rough.[(triple13 OR ((triple15) -> rule1))] Harry is smart.[(triple14)] Harry is white.[(triple15)] @1: Charlie is cold.[(((triple2 triple1) -> rule2))]
Charlie is green.
("Charlie" "is" "green" "+")
triple1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
((triple4) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
triple4
Erin is cold.
("Erin" "is" "cold" "+")
triple5
((triple8 triple6) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
triple6
Erin is kind.
("Erin" "is" "kind" "+")
triple7
Erin is quiet.
("Erin" "is" "quiet" "+")
triple8
Erin is rough.
("Erin" "is" "rough" "+")
triple9
((triple11) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
((triple11 triple7) -> (rule3 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
triple10
Erin is white.
("Erin" "is" "white" "+")
triple11
Harry is green.
("Harry" "is" "green" "+")
triple12
Harry is rough.
("Harry" "is" "rough" "+")
triple13
((triple15) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
triple14
Harry is white.
("Harry" "is" "white" "+")
triple15
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple2 triple1) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1