Charlie is big. Charlie is smart. Charlie is young. Dave is blue. Fiona is not big. Fiona is not smart. Fiona is young. Smart people are young. All blue people are smart.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Fiona is not big.
("Fiona" "is" "big" "-")
Fiona is not smart.
("Fiona" "is" "smart" "-")
Fiona is young.
("Fiona" "is" "young" "+")
Smart people are young.
((("someone" "is" "smart" "+")) -> ("someone" "is" "young" "+"))
All blue people are smart.
((("someone" "is" "blue" "+")) -> ("someone" "is" "smart" "+"))
Charlie is big.
True
1
proof
[(triple1)]
("Charlie" "is" "big" "+")
triple1
Dave is not blue.
False
1
inv-proof
[(triple4)]
("Dave" "is" "blue" "-")
triple4
Dave is smart.
True
2
proof
[(((triple4) -> rule2))]
("Dave" "is" "smart" "+")
((triple4) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is not smart.
False
2
inv-proof
[(((triple4) -> rule2))]
("Dave" "is" "smart" "-")
((triple4) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is young.
True
3
proof
[(((((triple4) -> rule2)) -> rule1))]
("Dave" "is" "young" "+")
((((triple4) -> (rule2 % int2))) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is not young.
False
3
inv-proof
[(((((triple4) -> rule2)) -> rule1))]
("Dave" "is" "young" "-")
((((triple4) -> (rule2 % int2))) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Fiona is not red.
Unknown
inv-random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "-")
Fiona is rough.
Unknown
random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "+")
Fiona is not round.
Unknown
inv-random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "-")
Dave is big.
Unknown
random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "+")
Dave is not red.
Unknown
inv-random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
@0: Charlie is big.[(triple1)] Charlie is smart.[(triple2)] Charlie is young.[(triple3 OR ((triple2) -> rule1))] Dave is blue.[(triple4)] Fiona is not big.[(triple5)] Fiona is not smart.[(triple6)] Fiona is young.[(triple7)] @1: Dave is smart.[(((triple4) -> rule2))] @2: Dave is young.[(((((triple4) -> rule2)) -> rule1))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Charlie is smart.
("Charlie" "is" "smart" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple3
((triple2) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
triple4
Fiona is not big.
("Fiona" "is" "big" "-")
triple5
Fiona is not smart.
("Fiona" "is" "smart" "-")
triple6
Fiona is young.
("Fiona" "is" "young" "+")
triple7
Dave is smart.
("Dave" "is" "smart" "+")
((triple4) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
((((triple4) -> (rule2 % int2))) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2