Charlie is big. Charlie is round. Fiona is not red. Fiona is rough. Fiona is young. Gary is big. Gary is rough. Gary is round. Gary is smart. Gary is white. If Gary is round then Gary is young. All smart, young things are big. All rough things are smart.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Fiona is not red.
("Fiona" "is" "red" "-")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
If Gary is round then Gary is young.
((("Gary" "is" "round" "+")) -> ("Gary" "is" "young" "+"))
All smart, young things are big.
((("something" "is" "smart" "+") ("something" "is" "young" "+")) -> ("something" "is" "big" "+"))
All rough things are smart.
((("something" "is" "rough" "+")) -> ("something" "is" "smart" "+"))
Gary is big.
True
1
proof
[(triple6 OR ((triple9 ((triple8) -> rule1)) -> rule2) OR ((((triple7) -> rule3) ((triple8) -> rule1)) -> rule2))]
("Gary" "is" "big" "+")
triple6
((triple9 ((triple8) -> (rule1 % int2))) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
((((triple7) -> (rule3 % int3)) ((triple8) -> (rule1 % int2))) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Charlie is not round.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "round" "-")
triple2
Gary is young.
True
2
proof
[(((triple8) -> rule1))]
("Gary" "is" "young" "+")
((triple8) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is not young.
False
2
inv-proof
[(((triple8) -> rule1))]
("Gary" "is" "young" "-")
((triple8) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Fiona is big.
True
4
proof
[(((((triple4) -> rule3) triple5) -> rule2))]
("Fiona" "is" "big" "+")
((((triple4) -> (rule3 % int2)) triple5) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is not big.
False
4
inv-proof
[(((((triple4) -> rule3) triple5) -> rule2))]
("Fiona" "is" "big" "-")
((((triple4) -> (rule3 % int2)) triple5) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Charlie is not smart.
Unknown
inv-rconc
[@1: Charlie is smart.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "smart" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
Charlie is not white.
Unknown
inv-random
[@0: Charlie is white.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "white" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
Charlie is not young.
Unknown
inv-random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
@0: Charlie is big.[(triple1)] Charlie is round.[(triple2)] Fiona is not red.[(triple3)] Fiona is rough.[(triple4)] Fiona is young.[(triple5)] Gary is big.[(triple6 OR ((triple9 ((triple8) -> rule1)) -> rule2) OR ((((triple7) -> rule3) ((triple8) -> rule1)) -> rule2))] Gary is rough.[(triple7)] Gary is round.[(triple8)] Gary is smart.[(triple9 OR ((triple7) -> rule3))] Gary is white.[(triple10)] @1: Fiona is smart.[(((triple4) -> rule3))] Gary is young.[(((triple8) -> rule1))] @2: Fiona is big.[(((((triple4) -> rule3) triple5) -> rule2))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Charlie is round.
("Charlie" "is" "round" "+")
triple2
Fiona is not red.
("Fiona" "is" "red" "-")
triple3
Fiona is rough.
("Fiona" "is" "rough" "+")
triple4
Fiona is young.
("Fiona" "is" "young" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple6
((triple9 ((triple8) -> (rule1 % int2))) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
((((triple7) -> (rule3 % int3)) ((triple8) -> (rule1 % int2))) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
triple7
Gary is round.
("Gary" "is" "round" "+")
triple8
Gary is smart.
("Gary" "is" "smart" "+")
triple9
((triple7) -> (rule3 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
triple10
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple4) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((triple8) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
((((triple4) -> (rule3 % int2)) triple5) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2