Dave is quiet. Dave is white. Fiona is red. Fiona is young. Gary is red. Gary is rough. Gary is not round. Gary is smart. Gary is not white. Harry is quiet. Harry is smart. Harry is not young. If someone is young then they are smart. Smart people are quiet.
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is white.
("Dave" "is" "white" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is not round.
("Gary" "is" "round" "-")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is not white.
("Gary" "is" "white" "-")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is not young.
("Harry" "is" "young" "-")
If someone is young then they are smart.
((("someone" "is" "young" "+")) -> ("someone" "is" "smart" "+"))
Smart people are quiet.
((("someone" "is" "smart" "+")) -> ("someone" "is" "quiet" "+"))
Dave is white.
True
1
proof
[(triple2)]
("Dave" "is" "white" "+")
triple2
Harry is young.
False
1
inv-proof
[(triple12)]
("Harry" "is" "young" "+")
triple12
Fiona is smart.
True
2
proof
[(((triple4) -> rule1))]
("Fiona" "is" "smart" "+")
((triple4) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is not smart.
False
2
inv-proof
[(((triple4) -> rule1))]
("Fiona" "is" "smart" "-")
((triple4) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is quiet.
True
3
proof
[(((((triple4) -> rule1)) -> rule2))]
("Fiona" "is" "quiet" "+")
((((triple4) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is not quiet.
False
3
inv-proof
[(((((triple4) -> rule1)) -> rule2))]
("Fiona" "is" "quiet" "-")
((((triple4) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Dave is not smart.
Unknown
inv-rconc
[@1: Dave is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "smart" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
Fiona is not white.
Unknown
inv-random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "-")
Fiona is rough.
Unknown
random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "+")
Harry is not white.
Unknown
inv-random
[@0: Harry is white.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "white" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
@0: Dave is quiet.[(triple1)] Dave is white.[(triple2)] Fiona is red.[(triple3)] Fiona is young.[(triple4)] Gary is not round.[(triple7)] Gary is not white.[(triple9)] Gary is red.[(triple5)] Gary is rough.[(triple6)] Gary is smart.[(triple8)] Harry is not young.[(triple12)] Harry is quiet.[(triple10 OR ((triple11) -> rule2))] Harry is smart.[(triple11)] @1: Fiona is smart.[(((triple4) -> rule1))] Gary is quiet.[(((triple8) -> rule2))] @2: Fiona is quiet.[(((((triple4) -> rule1)) -> rule2))]
Dave is quiet.
("Dave" "is" "quiet" "+")
triple1
Dave is white.
("Dave" "is" "white" "+")
triple2
Fiona is red.
("Fiona" "is" "red" "+")
triple3
Fiona is young.
("Fiona" "is" "young" "+")
triple4
Gary is not round.
("Gary" "is" "round" "-")
triple7
Gary is not white.
("Gary" "is" "white" "-")
triple9
Gary is red.
("Gary" "is" "red" "+")
triple5
Gary is rough.
("Gary" "is" "rough" "+")
triple6
Gary is smart.
("Gary" "is" "smart" "+")
triple8
Harry is not young.
("Harry" "is" "young" "-")
triple12
Harry is quiet.
("Harry" "is" "quiet" "+")
triple10
((triple11) -> (rule2 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
triple11
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple4) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
((triple8) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((((triple4) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2