Bob is white. Charlie is big. Fiona is nice. Gary is kind. If someone is nice then they are white. Big people are round. White, nice people are big.
Bob is white.
("Bob" "is" "white" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Gary is kind.
("Gary" "is" "kind" "+")
If someone is nice then they are white.
((("someone" "is" "nice" "+")) -> ("someone" "is" "white" "+"))
Big people are round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
White, nice people are big.
((("someone" "is" "white" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
Charlie is big.
True
1
proof
[(triple2)]
("Charlie" "is" "big" "+")
triple2
Gary is not kind.
False
1
inv-proof
[(triple4)]
("Gary" "is" "kind" "-")
triple4
Fiona is white.
True
2
proof
[(((triple3) -> rule1))]
("Fiona" "is" "white" "+")
((triple3) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Charlie is not round.
False
2
inv-proof
[(((triple2) -> rule2))]
("Charlie" "is" "round" "-")
((triple2) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Fiona is big.
True
4
proof
[(((((triple3) -> rule1) triple3) -> rule3))]
("Fiona" "is" "big" "+")
((((triple3) -> (rule1 % int2)) triple3) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is not big.
False
4
inv-proof
[(((((triple3) -> rule1) triple3) -> rule3))]
("Fiona" "is" "big" "-")
((((triple3) -> (rule1 % int2)) triple3) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is round.
True
5
proof
[(((((((triple3) -> rule1) triple3) -> rule3)) -> rule2))]
("Fiona" "is" "round" "+")
((((((triple3) -> (rule1 % int3)) triple3) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is not round.
False
5
inv-proof
[(((((((triple3) -> rule1) triple3) -> rule3)) -> rule2))]
("Fiona" "is" "round" "-")
((((((triple3) -> (rule1 % int3)) triple3) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Gary is not big.
Unknown
inv-rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "big" "-")
Gary is white.
Unknown
rconc
[@1: Gary is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "white" "+")
Bob is not big.
Unknown
inv-rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "big" "-")
Charlie is white.
Unknown
rconc
[@1: Charlie is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "white" "+")
Gary is not nice.
Unknown
inv-random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
Bob is not smart.
Unknown
inv-random
[@0: Bob is smart.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "smart" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
@0: Bob is white.[(triple1)] Charlie is big.[(triple2)] Fiona is nice.[(triple3)] Gary is kind.[(triple4)] @1: Charlie is round.[(((triple2) -> rule2))] Fiona is white.[(((triple3) -> rule1))] @2: Fiona is big.[(((((triple3) -> rule1) triple3) -> rule3))] @3: Fiona is round.[(((((((triple3) -> rule1) triple3) -> rule3)) -> rule2))]
Bob is white.
("Bob" "is" "white" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple2
Fiona is nice.
("Fiona" "is" "nice" "+")
triple3
Gary is kind.
("Gary" "is" "kind" "+")
triple4
Charlie is round.
("Charlie" "is" "round" "+")
((triple2) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
((triple3) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
((((triple3) -> (rule1 % int2)) triple3) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
((((((triple3) -> (rule1 % int3)) triple3) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3