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