Charlie is big. Charlie is not furry. Charlie is green. Charlie is round. Charlie is smart. Erin is big. Erin is furry. Erin is green. Erin is smart. Fiona is not big. Fiona is green. Fiona is not red. Fiona is round. Fiona is smart. Fiona is young. Round people are young. Red people are big.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is not furry.
("Charlie" "is" "furry" "-")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Fiona is not big.
("Fiona" "is" "big" "-")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is not red.
("Fiona" "is" "red" "-")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Round people are young.
((("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
Red people are big.
((("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
Erin is green.
True
1
proof
[(triple8)]
("Erin" "is" "green" "+")
triple8
Charlie is furry.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "furry" "+")
triple2
Charlie is young.
True
2
proof
[(((triple4) -> rule1))]
("Charlie" "is" "young" "+")
((triple4) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is not young.
False
2
inv-proof
[(((triple4) -> rule1))]
("Charlie" "is" "young" "-")
((triple4) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Erin is not young.
Unknown
inv-rconc
[@1: Erin is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "young" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
Erin is not red.
Unknown
inv-random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
@0: Charlie is big.[(triple1)] Charlie is green.[(triple3)] Charlie is not furry.[(triple2)] Charlie is round.[(triple4)] Charlie is smart.[(triple5)] Erin is big.[(triple6)] Erin is furry.[(triple7)] Erin is green.[(triple8)] Erin is smart.[(triple9)] Fiona is green.[(triple11)] Fiona is not big.[(triple10)] Fiona is not red.[(triple12)] Fiona is round.[(triple13)] Fiona is smart.[(triple14)] Fiona is young.[(triple15 OR ((triple13) -> rule1))] @1: Charlie is young.[(((triple4) -> rule1))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple3
Charlie is not furry.
("Charlie" "is" "furry" "-")
triple2
Charlie is round.
("Charlie" "is" "round" "+")
triple4
Charlie is smart.
("Charlie" "is" "smart" "+")
triple5
Erin is big.
("Erin" "is" "big" "+")
triple6
Erin is furry.
("Erin" "is" "furry" "+")
triple7
Erin is green.
("Erin" "is" "green" "+")
triple8
Erin is smart.
("Erin" "is" "smart" "+")
triple9
Fiona is green.
("Fiona" "is" "green" "+")
triple11
Fiona is not big.
("Fiona" "is" "big" "-")
triple10
Fiona is not red.
("Fiona" "is" "red" "-")
triple12
Fiona is round.
("Fiona" "is" "round" "+")
triple13
Fiona is smart.
("Fiona" "is" "smart" "+")
triple14
Fiona is young.
("Fiona" "is" "young" "+")
triple15
((triple13) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
((triple4) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1