Fiona is big. Fiona is blue. Fiona is kind. Fiona is young. Gary is blue. Gary is kind. Gary is rough. Gary is smart. Gary is young. Harry is blue. Harry is smart. Harry is young. Young people are furry. Furry people are smart. If Fiona is rough and Fiona is blue then Fiona is young. If someone is rough then they are big. Young people are kind. If someone is smart and big then they are young.
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is young.
("Harry" "is" "young" "+")
Young people are furry.
((("someone" "is" "young" "+")) -> ("someone" "is" "furry" "+"))
Furry people are smart.
((("someone" "is" "furry" "+")) -> ("someone" "is" "smart" "+"))
If Fiona is rough and Fiona is blue then Fiona is young.
((("Fiona" "is" "rough" "+") ("Fiona" "is" "blue" "+")) -> ("Fiona" "is" "young" "+"))
If someone is rough then they are big.
((("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
Young people are kind.
((("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is smart and big then they are young.
((("someone" "is" "smart" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
Harry is blue.
True
1
proof
[(triple10)]
("Harry" "is" "blue" "+")
triple10
Gary is not kind.
False
1
inv-proof
[(triple6 OR ((triple9) -> rule5) OR ((((triple8 ((triple7) -> rule4)) -> rule6)) -> rule5))]
("Gary" "is" "kind" "-")
triple6
((triple9) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
((((triple8 ((triple7) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Fiona is furry.
True
2
proof
[(((triple4) -> rule1))]
("Fiona" "is" "furry" "+")
((triple4) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Gary is not furry.
False
2
inv-proof
[(((triple9) -> rule1) OR ((((triple8 ((triple7) -> rule4)) -> rule6)) -> rule1))]
("Gary" "is" "furry" "-")
((triple9) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
((((triple8 ((triple7) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Fiona is smart.
True
3
proof
[(((((triple4) -> rule1)) -> rule2))]
("Fiona" "is" "smart" "+")
((((triple4) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is not smart.
False
3
inv-proof
[(((((triple4) -> rule1)) -> rule2))]
("Fiona" "is" "smart" "-")
((((triple4) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "big" "-")
Fiona is rough.
Unknown
random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "+")
@0: Fiona is big.[(triple1)] Fiona is blue.[(triple2)] Fiona is kind.[(triple3 OR ((triple4) -> rule5))] Fiona is young.[(triple4)] Gary is blue.[(triple5)] Gary is kind.[(triple6 OR ((triple9) -> rule5) OR ((((triple8 ((triple7) -> rule4)) -> rule6)) -> rule5))] Gary is rough.[(triple7)] Gary is smart.[(triple8 OR ((((triple9) -> rule1)) -> rule2))] Gary is young.[(triple9 OR ((triple8 ((triple7) -> rule4)) -> rule6))] Harry is blue.[(triple10)] Harry is smart.[(triple11 OR ((((triple12) -> rule1)) -> rule2))] Harry is young.[(triple12)] @1: Fiona is furry.[(((triple4) -> rule1))] Gary is big.[(((triple7) -> rule4))] Gary is furry.[(((triple9) -> rule1) OR ((((triple8 ((triple7) -> rule4)) -> rule6)) -> rule1))] Harry is furry.[(((triple12) -> rule1))] Harry is kind.[(((triple12) -> rule5))] @2: Fiona is smart.[(((((triple4) -> rule1)) -> rule2))]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
Fiona is blue.
("Fiona" "is" "blue" "+")
triple2
Fiona is kind.
("Fiona" "is" "kind" "+")
triple3
((triple4) -> (rule5 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
triple4
Gary is blue.
("Gary" "is" "blue" "+")
triple5
Gary is kind.
("Gary" "is" "kind" "+")
triple6
((triple9) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
((((triple8 ((triple7) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
triple7
Gary is smart.
("Gary" "is" "smart" "+")
triple8
((((triple9) -> (rule1 % int2))) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
triple9
((triple8 ((triple7) -> (rule4 % int2))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
triple10
Harry is smart.
("Harry" "is" "smart" "+")
triple11
((((triple12) -> (rule1 % int2))) -> (rule2 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
triple12
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple4) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
((triple7) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
((triple9) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
((((triple8 ((triple7) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
((triple12) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
((triple12) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
((((triple4) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2