Fiona is smart. Harry is smart. Young things are kind. If something is smart then it is young. If something is smart then it is red.
Fiona is smart.
("Fiona" "is" "smart" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Young things are kind.
((("something" "is" "young" "+")) -> ("something" "is" "kind" "+"))
If something is smart then it is young.
((("something" "is" "smart" "+")) -> ("something" "is" "young" "+"))
If something is smart then it is red.
((("something" "is" "smart" "+")) -> ("something" "is" "red" "+"))
Fiona is smart.
True
1
proof
[(triple1)]
("Fiona" "is" "smart" "+")
triple1
Harry is not smart.
False
1
inv-proof
[(triple2)]
("Harry" "is" "smart" "-")
triple2
Fiona is red.
True
2
proof
[(((triple1) -> rule3))]
("Fiona" "is" "red" "+")
((triple1) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is not young.
False
2
inv-proof
[(((triple1) -> rule2))]
("Fiona" "is" "young" "-")
((triple1) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is kind.
True
3
proof
[(((((triple1) -> rule2)) -> rule1))]
("Fiona" "is" "kind" "+")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is not kind.
False
3
inv-proof
[(((((triple1) -> rule2)) -> rule1))]
("Fiona" "is" "kind" "-")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is not blue.
Unknown
inv-random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
Fiona is not furry.
Unknown
inv-random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
Harry is not furry.
Unknown
inv-random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "-")
Fiona is green.
Unknown
random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "+")
@0: Fiona is smart.[(triple1)] Harry is smart.[(triple2)] @1: Fiona is red.[(((triple1) -> rule3))] Fiona is young.[(((triple1) -> rule2))] Harry is red.[(((triple2) -> rule3))] Harry is young.[(((triple2) -> rule2))] @2: Fiona is kind.[(((((triple1) -> rule2)) -> rule1))] Harry is kind.[(((((triple2) -> rule2)) -> rule1))]
Fiona is smart.
("Fiona" "is" "smart" "+")
triple1
Harry is smart.
("Harry" "is" "smart" "+")
triple2
Fiona is red.
("Fiona" "is" "red" "+")
((triple1) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
((triple1) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
((triple2) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
((triple2) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2