Charlie is kind. Charlie is nice. Charlie is smart. Erin is kind. Erin is round. Fiona is kind. Fiona is nice. Fiona is rough. Fiona is white. Harry is white. All white, round people are nice. If someone is white and not blue then they are nice. All kind people are white.
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is round.
("Erin" "is" "round" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is white.
("Harry" "is" "white" "+")
All white, round people are nice.
((("someone" "is" "white" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is white and not blue then they are nice.
((("someone" "is" "white" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "nice" "+"))
All kind people are white.
((("someone" "is" "kind" "+")) -> ("someone" "is" "white" "+"))
Harry is white.
True
1
proof
[(triple10)]
("Harry" "is" "white" "+")
triple10
Erin is not round.
False
1
inv-proof
[(triple5)]
("Erin" "is" "round" "-")
triple5
Charlie is white.
True
2
proof
[(((triple1) -> rule3))]
("Charlie" "is" "white" "+")
((triple1) -> (rule3 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is not white.
False
2
inv-proof
[(((triple1) -> rule3))]
("Charlie" "is" "white" "-")
((triple1) -> (rule3 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Erin is nice.
True
4
proof
[(((((triple4) -> rule3) triple5) -> rule1))]
("Erin" "is" "nice" "+")
((((triple4) -> (rule3 % int2)) triple5) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is not nice.
False
4
inv-proof
[(((((triple4) -> rule3) triple5) -> rule1))]
("Erin" "is" "nice" "-")
((((triple4) -> (rule3 % int2)) triple5) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Harry is not nice.
Unknown
inv-rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "nice" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
Erin is not smart.
Unknown
inv-random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
@0: Charlie is kind.[(triple1)] Charlie is nice.[(triple2)] Charlie is smart.[(triple3)] Erin is kind.[(triple4)] Erin is round.[(triple5)] Fiona is kind.[(triple6)] Fiona is nice.[(triple7)] Fiona is rough.[(triple8)] Fiona is white.[(triple9 OR ((triple6) -> rule3))] Harry is white.[(triple10)] @1: Charlie is white.[(((triple1) -> rule3))] Erin is white.[(((triple4) -> rule3))] @2: Erin is nice.[(((((triple4) -> rule3) triple5) -> rule1))]
Charlie is kind.
("Charlie" "is" "kind" "+")
triple1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Charlie is smart.
("Charlie" "is" "smart" "+")
triple3
Erin is kind.
("Erin" "is" "kind" "+")
triple4
Erin is round.
("Erin" "is" "round" "+")
triple5
Fiona is kind.
("Fiona" "is" "kind" "+")
triple6
Fiona is nice.
("Fiona" "is" "nice" "+")
triple7
Fiona is rough.
("Fiona" "is" "rough" "+")
triple8
Fiona is white.
("Fiona" "is" "white" "+")
triple9
((triple6) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
triple10
Charlie is white.
("Charlie" "is" "white" "+")
((triple1) -> (rule3 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
((triple4) -> (rule3 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
((((triple4) -> (rule3 % int2)) triple5) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2