Charlie is green. Charlie is kind. Charlie is nice. Charlie is red. Charlie is rough. Charlie is white. Fiona is green. Fiona is kind. Fiona is nice. Fiona is white. If Fiona is white then Fiona is rough. If someone is white then they are kind. If someone is rough then they are red.
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If Fiona is white then Fiona is rough.
((("Fiona" "is" "white" "+")) -> ("Fiona" "is" "rough" "+"))
If someone is white then they are kind.
((("someone" "is" "white" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough then they are red.
((("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
Charlie is nice.
True
1
proof
[(triple3)]
("Charlie" "is" "nice" "+")
triple3
Fiona is not kind.
False
1
inv-proof
[(triple8 OR ((triple10) -> rule2))]
("Fiona" "is" "kind" "-")
triple8
((triple10) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is rough.
True
2
proof
[(((triple10) -> rule1))]
("Fiona" "is" "rough" "+")
((triple10) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is not rough.
False
2
inv-proof
[(((triple10) -> rule1))]
("Fiona" "is" "rough" "-")
((triple10) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is red.
True
3
proof
[(((((triple10) -> rule1)) -> rule3))]
("Fiona" "is" "red" "+")
((((triple10) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is not red.
False
3
inv-proof
[(((((triple10) -> rule1)) -> rule3))]
("Fiona" "is" "red" "-")
((((triple10) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is not blue.
Unknown
inv-random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
@0: Charlie is green.[(triple1)] Charlie is kind.[(triple2 OR ((triple6) -> rule2))] Charlie is nice.[(triple3)] Charlie is red.[(triple4 OR ((triple5) -> rule3))] Charlie is rough.[(triple5)] Charlie is white.[(triple6)] Fiona is green.[(triple7)] Fiona is kind.[(triple8 OR ((triple10) -> rule2))] Fiona is nice.[(triple9)] Fiona is white.[(triple10)] @1: Fiona is rough.[(((triple10) -> rule1))] @2: Fiona is red.[(((((triple10) -> rule1)) -> rule3))]
Charlie is green.
("Charlie" "is" "green" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
((triple6) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Charlie is red.
("Charlie" "is" "red" "+")
triple4
((triple5) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
triple5
Charlie is white.
("Charlie" "is" "white" "+")
triple6
Fiona is green.
("Fiona" "is" "green" "+")
triple7
Fiona is kind.
("Fiona" "is" "kind" "+")
triple8
((triple10) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
triple9
Fiona is white.
("Fiona" "is" "white" "+")
triple10
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple10) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
((((triple10) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2