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