Anne is rough. Anne is white. Charlie is quiet. Fiona is smart. Fiona is white. Gary is big. Gary is cold. Gary is rough. Gary is smart. Gary is white. If Anne is quiet and Anne is white then Anne is smart. Smart people are nice. If someone is rough then they are quiet.
Anne is rough.
("Anne" "is" "rough" "+")
Anne is white.
("Anne" "is" "white" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
If Anne is quiet and Anne is white then Anne is smart.
((("Anne" "is" "quiet" "+") ("Anne" "is" "white" "+")) -> ("Anne" "is" "smart" "+"))
Smart people are nice.
((("someone" "is" "smart" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough then they are quiet.
((("someone" "is" "rough" "+")) -> ("someone" "is" "quiet" "+"))
Charlie is quiet.
True
1
proof
[(triple3)]
("Charlie" "is" "quiet" "+")
triple3
Fiona is not white.
False
1
inv-proof
[(triple5)]
("Fiona" "is" "white" "-")
triple5
Fiona is nice.
True
2
proof
[(((triple4) -> rule2))]
("Fiona" "is" "nice" "+")
((triple4) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Anne is not quiet.
False
2
inv-proof
[(((triple1) -> rule3))]
("Anne" "is" "quiet" "-")
((triple1) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is smart.
True
4
proof
[(((((triple1) -> rule3) triple2) -> rule1))]
("Anne" "is" "smart" "+")
((((triple1) -> (rule3 % int2)) triple2) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is not smart.
False
4
inv-proof
[(((((triple1) -> rule3) triple2) -> rule1))]
("Anne" "is" "smart" "-")
((((triple1) -> (rule3 % int2)) triple2) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is nice.
True
5
proof
[(((((((triple1) -> rule3) triple2) -> rule1)) -> rule2))]
("Anne" "is" "nice" "+")
((((((triple1) -> (rule3 % int3)) triple2) -> (rule1 % int2))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is not nice.
False
5
inv-proof
[(((((((triple1) -> rule3) triple2) -> rule1)) -> rule2))]
("Anne" "is" "nice" "-")
((((((triple1) -> (rule3 % int3)) triple2) -> (rule1 % int2))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Fiona is not quiet.
Unknown
inv-rconc
[@1: Fiona is quiet.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "quiet" "-")
Charlie is nice.
Unknown
rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "nice" "+")
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Fiona is big.
Unknown
random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "+")
Charlie is not cold.
Unknown
inv-random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "-")
Fiona is rough.
Unknown
random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "+")
Charlie is not rough.
Unknown
inv-random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "-")
Fiona is cold.
Unknown
random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "+")
@0: Anne is rough.[(triple1)] Anne is white.[(triple2)] Charlie is quiet.[(triple3)] Fiona is smart.[(triple4)] Fiona is white.[(triple5)] Gary is big.[(triple6)] Gary is cold.[(triple7)] Gary is rough.[(triple8)] Gary is smart.[(triple9)] Gary is white.[(triple10)] @1: Anne is quiet.[(((triple1) -> rule3))] Fiona is nice.[(((triple4) -> rule2))] Gary is nice.[(((triple9) -> rule2))] Gary is quiet.[(((triple8) -> rule3))] @2: Anne is smart.[(((((triple1) -> rule3) triple2) -> rule1))] @3: Anne is nice.[(((((((triple1) -> rule3) triple2) -> rule1)) -> rule2))]
Anne is rough.
("Anne" "is" "rough" "+")
triple1
Anne is white.
("Anne" "is" "white" "+")
triple2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple3
Fiona is smart.
("Fiona" "is" "smart" "+")
triple4
Fiona is white.
("Fiona" "is" "white" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple6
Gary is cold.
("Gary" "is" "cold" "+")
triple7
Gary is rough.
("Gary" "is" "rough" "+")
triple8
Gary is smart.
("Gary" "is" "smart" "+")
triple9
Gary is white.
("Gary" "is" "white" "+")
triple10
Anne is quiet.
("Anne" "is" "quiet" "+")
((triple1) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple4) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple9) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
((triple8) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
((((triple1) -> (rule3 % int2)) triple2) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
((((((triple1) -> (rule3 % int3)) triple2) -> (rule1 % int2))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3