Charlie is big. Charlie is furry. Charlie is green. Charlie is nice. Charlie is smart. Charlie is young. Dave is big. Dave is furry. Dave is green. Dave is nice. Dave is smart. Dave is white. Dave is young. Fiona is big. Fiona is green. Fiona is smart. If something is white then it is big. All green things are nice. All nice things are young.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is white.
("Dave" "is" "white" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
If something is white then it is big.
((("something" "is" "white" "+")) -> ("something" "is" "big" "+"))
All green things are nice.
((("something" "is" "green" "+")) -> ("something" "is" "nice" "+"))
All nice things are young.
((("something" "is" "nice" "+")) -> ("something" "is" "young" "+"))
Dave is white.
True
1
proof
[(triple12)]
("Dave" "is" "white" "+")
triple12
Dave is not smart.
False
1
inv-proof
[(triple11)]
("Dave" "is" "smart" "-")
triple11
Fiona is nice.
True
2
proof
[(((triple15) -> rule2))]
("Fiona" "is" "nice" "+")
((triple15) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is not nice.
False
2
inv-proof
[(((triple15) -> rule2))]
("Fiona" "is" "nice" "-")
((triple15) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is young.
True
3
proof
[(((((triple15) -> rule2)) -> rule3))]
("Fiona" "is" "young" "+")
((((triple15) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is not young.
False
3
inv-proof
[(((((triple15) -> rule2)) -> rule3))]
("Fiona" "is" "young" "-")
((((triple15) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is not furry.
Unknown
inv-random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "-")
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 furry.[(triple2)] Charlie is green.[(triple3)] Charlie is nice.[(triple4 OR ((triple3) -> rule2))] Charlie is smart.[(triple5)] Charlie is young.[(triple6 OR ((triple4) -> rule3) OR ((((triple3) -> rule2)) -> rule3))] Dave is big.[(triple7 OR ((triple12) -> rule1))] Dave is furry.[(triple8)] Dave is green.[(triple9)] Dave is nice.[(triple10 OR ((triple9) -> rule2))] Dave is smart.[(triple11)] Dave is white.[(triple12)] Dave is young.[(triple13 OR ((triple10) -> rule3) OR ((((triple9) -> rule2)) -> rule3))] Fiona is big.[(triple14)] Fiona is green.[(triple15)] Fiona is smart.[(triple16)] @1: Fiona is nice.[(((triple15) -> rule2))] @2: Fiona is young.[(((((triple15) -> rule2)) -> rule3))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Charlie is furry.
("Charlie" "is" "furry" "+")
triple2
Charlie is green.
("Charlie" "is" "green" "+")
triple3
Charlie is nice.
("Charlie" "is" "nice" "+")
triple4
((triple3) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
triple5
Charlie is young.
("Charlie" "is" "young" "+")
triple6
((triple4) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((((triple3) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
triple7
((triple12) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
triple8
Dave is green.
("Dave" "is" "green" "+")
triple9
Dave is nice.
("Dave" "is" "nice" "+")
triple10
((triple9) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
triple11
Dave is white.
("Dave" "is" "white" "+")
triple12
Dave is young.
("Dave" "is" "young" "+")
triple13
((triple10) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
((((triple9) -> (rule2 % int2))) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
triple14
Fiona is green.
("Fiona" "is" "green" "+")
triple15
Fiona is smart.
("Fiona" "is" "smart" "+")
triple16
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple15) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
((((triple15) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2