Fiona is quiet. Fiona is round. Fiona is smart. Harry is blue. Harry is kind. Harry is quiet. Harry is rough. Harry is round. Harry is smart. Harry is young. Blue, kind people are young. All smart people are young. Young people are rough.
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is young.
("Harry" "is" "young" "+")
Blue, kind people are young.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
All smart people are young.
((("someone" "is" "smart" "+")) -> ("someone" "is" "young" "+"))
Young people are rough.
((("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
Harry is kind.
True
1
proof
[(triple5)]
("Harry" "is" "kind" "+")
triple5
Harry is not round.
False
1
inv-proof
[(triple8)]
("Harry" "is" "round" "-")
triple8
Fiona is young.
True
2
proof
[(((triple3) -> rule2))]
("Fiona" "is" "young" "+")
((triple3) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is not young.
False
2
inv-proof
[(((triple3) -> rule2))]
("Fiona" "is" "young" "-")
((triple3) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is rough.
True
3
proof
[(((((triple3) -> rule2)) -> rule3))]
("Fiona" "is" "rough" "+")
((((triple3) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is not rough.
False
3
inv-proof
[(((((triple3) -> rule2)) -> rule3))]
("Fiona" "is" "rough" "-")
((((triple3) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is not kind.
Unknown
inv-random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
@0: Fiona is quiet.[(triple1)] Fiona is round.[(triple2)] Fiona is smart.[(triple3)] Harry is blue.[(triple4)] Harry is kind.[(triple5)] Harry is quiet.[(triple6)] Harry is rough.[(triple7 OR ((triple10) -> rule3) OR ((((triple9) -> rule2)) -> rule3) OR ((((triple4 triple5) -> rule1)) -> rule3))] Harry is round.[(triple8)] Harry is smart.[(triple9)] Harry is young.[(triple10 OR ((triple9) -> rule2) OR ((triple4 triple5) -> rule1))] @1: Fiona is young.[(((triple3) -> rule2))] @2: Fiona is rough.[(((((triple3) -> rule2)) -> rule3))]
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple1
Fiona is round.
("Fiona" "is" "round" "+")
triple2
Fiona is smart.
("Fiona" "is" "smart" "+")
triple3
Harry is blue.
("Harry" "is" "blue" "+")
triple4
Harry is kind.
("Harry" "is" "kind" "+")
triple5
Harry is quiet.
("Harry" "is" "quiet" "+")
triple6
Harry is rough.
("Harry" "is" "rough" "+")
triple7
((triple10) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
((((triple9) -> (rule2 % int2))) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
((((triple4 triple5) -> (rule1 % int2))) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
triple8
Harry is smart.
("Harry" "is" "smart" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple10
((triple9) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
((triple4 triple5) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
((triple3) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
((((triple3) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2