Fiona is big. Fiona is cold. Fiona is nice. Fiona is quiet. Fiona is smart. Fiona is young. Harry is cold. If Fiona is cold and Fiona is quiet then Fiona is red. If someone is young and cold then they are quiet.
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If Fiona is cold and Fiona is quiet then Fiona is red.
((("Fiona" "is" "cold" "+") ("Fiona" "is" "quiet" "+")) -> ("Fiona" "is" "red" "+"))
If someone is young and cold then they are quiet.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "quiet" "+"))
Harry is cold.
True
1
proof
[(triple7)]
("Harry" "is" "cold" "+")
triple7
Fiona is not quiet.
False
1
inv-proof
[(triple4 OR ((triple6 triple2) -> rule2))]
("Fiona" "is" "quiet" "-")
triple4
((triple6 triple2) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is red.
True
3
proof
[(((triple2 triple4) -> rule1) OR ((triple2 ((triple6 triple2) -> rule2)) -> rule1))]
("Fiona" "is" "red" "+")
((triple2 triple4) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
((triple2 ((triple6 triple2) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is not red.
False
3
inv-proof
[(((triple2 triple4) -> rule1) OR ((triple2 ((triple6 triple2) -> rule2)) -> rule1))]
("Fiona" "is" "red" "-")
((triple2 triple4) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
((triple2 ((triple6 triple2) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Harry is not quiet.
Unknown
inv-rconc
[@1: Harry is quiet.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "quiet" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
Harry is not big.
Unknown
inv-random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
@0: Fiona is big.[(triple1)] Fiona is cold.[(triple2)] Fiona is nice.[(triple3)] Fiona is quiet.[(triple4 OR ((triple6 triple2) -> rule2))] Fiona is smart.[(triple5)] Fiona is young.[(triple6)] Harry is cold.[(triple7)] @1: Fiona is red.[(((triple2 triple4) -> rule1) OR ((triple2 ((triple6 triple2) -> rule2)) -> rule1))]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple2
Fiona is nice.
("Fiona" "is" "nice" "+")
triple3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple4
((triple6 triple2) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
triple5
Fiona is young.
("Fiona" "is" "young" "+")
triple6
Harry is cold.
("Harry" "is" "cold" "+")
triple7
Fiona is red.
("Fiona" "is" "red" "+")
((triple2 triple4) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
((triple2 ((triple6 triple2) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2