Charlie is kind. Charlie is nice. Charlie is rough. Dave is big. Dave is not cold. Dave is not quiet. Dave is rough. Fiona is big. Fiona is cold. Gary is big. Gary is cold. Gary is not kind. Gary is nice. Gary is not quiet. Gary is red. All big things are rough. Rough things are red.
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is not cold.
("Dave" "is" "cold" "-")
Dave is not quiet.
("Dave" "is" "quiet" "-")
Dave is rough.
("Dave" "is" "rough" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is not kind.
("Gary" "is" "kind" "-")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is not quiet.
("Gary" "is" "quiet" "-")
Gary is red.
("Gary" "is" "red" "+")
All big things are rough.
((("something" "is" "big" "+")) -> ("something" "is" "rough" "+"))
Rough things are red.
((("something" "is" "rough" "+")) -> ("something" "is" "red" "+"))
Dave is big.
True
1
proof
[(triple4)]
("Dave" "is" "big" "+")
triple4
Charlie is not kind.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "kind" "-")
triple1
Dave is red.
True
2
proof
[(((triple7) -> rule2) OR ((((triple4) -> rule1)) -> rule2))]
("Dave" "is" "red" "+")
((triple7) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
((((triple4) -> (rule1 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Fiona is not rough.
False
2
inv-proof
[(((triple8) -> rule1))]
("Fiona" "is" "rough" "-")
((triple8) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is red.
True
3
proof
[(((((triple8) -> rule1)) -> rule2))]
("Fiona" "is" "red" "+")
((((triple8) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is not red.
False
3
inv-proof
[(((((triple8) -> rule1)) -> rule2))]
("Fiona" "is" "red" "-")
((((triple8) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
Fiona is not nice.
Unknown
inv-random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "-")
Fiona is kind.
Unknown
random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "+")
Dave is not kind.
Unknown
inv-random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "-")
Charlie is quiet.
Unknown
random
[@0: Charlie is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "quiet" "+")
@0: Charlie is kind.[(triple1)] Charlie is nice.[(triple2)] Charlie is rough.[(triple3)] Dave is big.[(triple4)] Dave is not cold.[(triple5)] Dave is not quiet.[(triple6)] Dave is rough.[(triple7 OR ((triple4) -> rule1))] Fiona is big.[(triple8)] Fiona is cold.[(triple9)] Gary is big.[(triple10)] Gary is cold.[(triple11)] Gary is nice.[(triple13)] Gary is not kind.[(triple12)] Gary is not quiet.[(triple14)] Gary is red.[(triple15 OR ((((triple10) -> rule1)) -> rule2))] @1: Charlie is red.[(((triple3) -> rule2))] Dave is red.[(((triple7) -> rule2) OR ((((triple4) -> rule1)) -> rule2))] Fiona is rough.[(((triple8) -> rule1))] Gary is rough.[(((triple10) -> rule1))] @2: Fiona is red.[(((((triple8) -> rule1)) -> rule2))]
Charlie is kind.
("Charlie" "is" "kind" "+")
triple1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
Dave is big.
("Dave" "is" "big" "+")
triple4
Dave is not cold.
("Dave" "is" "cold" "-")
triple5
Dave is not quiet.
("Dave" "is" "quiet" "-")
triple6
Dave is rough.
("Dave" "is" "rough" "+")
triple7
((triple4) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
triple8
Fiona is cold.
("Fiona" "is" "cold" "+")
triple9
Gary is big.
("Gary" "is" "big" "+")
triple10
Gary is cold.
("Gary" "is" "cold" "+")
triple11
Gary is nice.
("Gary" "is" "nice" "+")
triple13
Gary is not kind.
("Gary" "is" "kind" "-")
triple12
Gary is not quiet.
("Gary" "is" "quiet" "-")
triple14
Gary is red.
("Gary" "is" "red" "+")
triple15
((((triple10) -> (rule1 % int2))) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
((triple3) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
((triple7) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
((((triple4) -> (rule1 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple8) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((triple10) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
((((triple8) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2