Charlie is big. Charlie is smart. Charlie is white. Charlie is young. Fiona is big. Fiona is round. Fiona is young. White, round things are young. Young things are round.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is young.
("Fiona" "is" "young" "+")
White, round things are young.
((("something" "is" "white" "+") ("something" "is" "round" "+")) -> ("something" "is" "young" "+"))
Young things are round.
((("something" "is" "young" "+")) -> ("something" "is" "round" "+"))
Charlie is young.
True
1
proof
[(triple4)]
("Charlie" "is" "young" "+")
triple4
Charlie is not white.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "white" "-")
triple3
Charlie is round.
True
2
proof
[(((triple4) -> rule2))]
("Charlie" "is" "round" "+")
((triple4) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is not round.
False
2
inv-proof
[(((triple4) -> rule2))]
("Charlie" "is" "round" "-")
((triple4) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is not blue.
Unknown
inv-random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
Charlie is not red.
Unknown
inv-random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "-")
Fiona is red.
Unknown
random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "+")
@0: Charlie is big.[(triple1)] Charlie is smart.[(triple2)] Charlie is white.[(triple3)] Charlie is young.[(triple4)] Fiona is big.[(triple5)] Fiona is round.[(triple6 OR ((triple7) -> rule2))] Fiona is young.[(triple7)] @1: Charlie is round.[(((triple4) -> rule2))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Charlie is smart.
("Charlie" "is" "smart" "+")
triple2
Charlie is white.
("Charlie" "is" "white" "+")
triple3
Charlie is young.
("Charlie" "is" "young" "+")
triple4
Fiona is big.
("Fiona" "is" "big" "+")
triple5
Fiona is round.
("Fiona" "is" "round" "+")
triple6
((triple7) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
triple7
Charlie is round.
("Charlie" "is" "round" "+")
((triple4) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1